↓ Skip to main content
What is this page? Embed badge

Formal Methods: State of the Art and New Directions

Overview of attention for book
Cover of 'Formal Methods: State of the Art and New Directions'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Domain Engineering
  3. Altmetric Badge
    Chapter 2 Program Verification and System Dependability
  4. Altmetric Badge
    Chapter 3 The Abstract State Machines Method for High-Level System Design and Analysis
  5. Altmetric Badge
    Chapter 4 Applications and Methodology of νZ
  6. Altmetric Badge
    Chapter 5 The Computer Ate My Vote
  7. Altmetric Badge
    Chapter 6 Formal Methods for Biochemical Signalling Pathways
  8. Altmetric Badge
    Chapter 7 Separation Logic and Concurrency
  9. Altmetric Badge
    Chapter 8 Programming Language Description Languages
Attention for Chapter 7: Separation Logic and Concurrency
Altmetric Badge

Citations

dimensions_citation
29 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
So far, Dimensions has found 29 publications that cite this research output.

29

The most recent citing publications are shown below. View all 29 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.