The Generic Development Language Deva

Overview of attention for book

Cover of 'The Generic Development Language Deva'

Table of Contents

Attention for Chapter 5: Case study on VDM-style developments

Altmetric Badge

Citations

dimensions_citation: 13 Dimensions

Summary Dimensions citations

So far, Dimensions has found 13 publications that cite this research output.

13

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

Cooperation of Formal Methods in an Engineering Based Software Development Process

Book chapter (January 2000)

Refinement of rational end-points real numbers by means of floating-point numbers

Article in Science of Computer Programming (February 1999)

Darstellung formaler Beweise

Book chapter (January 1998)

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

Click here to find out how to access more activity.