UML to B: Formal Verification of Object-Oriented Models

Kevin Lano(King's College London), David Clark(King's College London), Kelly Androutsopoulos(King's College London)

Lecture notes in computer science

January 1, 2004

10.1007/978-3-540-24756-2_11

Cited by 66

Abstract

Related Papers

No related papers found

Powered by citation graph analysis