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

Teaching Formal Methods

Overview of attention for book
Cover of 'Teaching Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Abstraction and Modelling: A Complementary Partnership
  3. Altmetric Badge
    Chapter 2 Teaching Formal Methods for the Unconquered Territory
  4. Altmetric Badge
    Chapter 3 Teaching Formal Methods Based on Rewriting Logic and Maude
  5. Altmetric Badge
    Chapter 4 Which Mathematics for the Information Society?
  6. Altmetric Badge
    Chapter 5 What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project
  7. Altmetric Badge
    Chapter 6 Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
  8. Altmetric Badge
    Chapter 7 Teaching Program Specification and Verification Using JML and ESC/Java2
  9. Altmetric Badge
    Chapter 8 How to Explain Mistakes
  10. Altmetric Badge
    Chapter 9 Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
  11. Altmetric Badge
    Chapter 10 On Teaching Formal Methods: Behavior Models and Code Analysis
  12. Altmetric Badge
    Chapter 11 Teaching Concurrency: Theory in Practice
Attention for Chapter 7: Teaching Program Specification and Verification Using JML and ESC/Java2
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
4 Mendeley
Summary Wikipedia Dimensions citations
So far, Dimensions has found 6 publications that cite this research output.

6

The most recent citing publications are shown below. View all 6 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.