Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Architectural Specifications in CASL
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Compositional Symmetric Sharing in B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Strategic term rewriting and its application to a VDM-SL to SQL conversion
FM'05 Proceedings of the 2005 international conference on Formal Methods
A simple refinement language for CASL
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |