Generation of OCL Constraints from B Abstract Machines.

Sat, 01 Jan 2005 00:00:00 +0100

Jean-Christophe Voisinet, Bruno Tatibouët, Isabelle Jacques:
Generation of OCL Constraints from B Abstract Machines. Software Engineering Research and Practice 2005: 260-266