Eerke A. Boiten;John Derrick
-;-
Recent advances in refinement
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces