Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

UML to B: formal verification of object-oriented models

Lano, K and Clark, D and Androutsopolous, K (2004) UML to B: formal verification of object-oriented models. In: Integrated Formal Methods: 4th International Conference, IFM 2004.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:UNSPECIFIED
ID Code:312
Deposited By:Dr K Lano
Deposited On:31 Oct 2007 11:56
Last Modified:01 Nov 2007 18:57

Repository Staff Only: item control page