4B Language Reference Manual(Version 1.8.5)[M]. ClearSy,1998. 被引量：1
5Patrick Behm, Paul Benoit, Alain Faivre, Jean Marc Meynadier. METEOR: A Successful Application of B in a Large project [A]. FM99 -World Conference on Formal Methods in the Development of Computing Systems,Toulouse, 1999. 被引量：1
6H Ledang. Formal Techniques in the Object-Oriented Development: An Approach Based on the B Method [A]. Ph-DOOS2001: the 11th ECOOP Workshop for PhD Studentin Object-Oriented Systems, Budapest (Hu), 2001. 被引量：1
7C Snook, M Butler. Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit[EB/OL]. http://www.dsse.ecs.soton.ac.uk/techreports/2000 - 12.html, 2000. 被引量：1
8Eric Meyer, Thomas Santen. Behavioral Conformance Verification in an Integrated Approach Using UML and B[A].Lecture Notes In Computer Science. Proceedings of the Second International Conference on Integrated Formal Methods, 2000. 被引量：1
