UML to B: Formal Verification of Object-Oriented Models.

Kevin Lano, David Clark, Kelly Androutsopoulos

Browse the full IFM paper archive.