Program specification and verification in VDM

Authors:
C. B. Jones
Affiliations:
-
Venue:
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
Year:
1987

Citing 0
Cited 3

Scientific Decisions which Characterize VDM

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Deterministic Interpreter Simulating A Distributed real time system using VDM

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Set-theoretic models of computations

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract