The IFAD VDM-SL toolbox
- 1 September 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 29 (9), 77-80
- https://doi.org/10.1145/185009.185028
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Using ABC to prototype VDM specificationsACM SIGPLAN Notices, 1994
- From VDM specifications to functional prototypesJournal of Systems and Software, 1993