Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Basis for a Program Compilation Proof Tool
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Hi-index | 0.00 |