The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Checking Z Data Refinements Using Traces Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A design methodology for functional programs
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
| Hi-index | 0.00 |