Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Type-Constrained Generics for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Program Development and Specification Refinement in the Schema Calculus
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional verification for object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formal specification of OWL-S with object-Z: the dynamic aspect
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A formal model of the Semantic Web Service Ontology (WSMO)
Information Systems
| Hi-index | 0.00 |