Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
The role of proof in a formal specification of the speedway rulebook
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |