From VDM specifications to functional prototypes

Paulo Borba, Silvio Romero de Lemos Meira. From VDM specifications to functional prototypes. Journal of Systems and Software, 21(3):267-278, 1993. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.