Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Completeness of fair ASM refinement
Science of Computer Programming
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |