Programming with VDM Domains

Authors:
Uwe Schmidt;Hans-Martin Hörcher
Affiliations:
-;-
Venue:
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Year:
1990

Citing 0
Cited 2

Using KIDS as a tool support for VDM

Proceedings of the 18th international conference on Software engineering
Implementing Statecharts in PROMELA/SPIN

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract