Safety and Security Analysis 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, 2002

10.1007/3-540-45732-1_10

Cited by 456

Abstract

Related Papers

No related papers found

Powered by citation graph analysis