Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Checking Well-Formedness of Pure-Method Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Reasoning about inconsistent concurrent systems: a non-classical temporal logic
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |