Composing invariants (2003)

by M Charpentier
Venue:In: Araki K, Gnesi S, Mandrioli D (eds) 12th International Symposium of Formal Methods Europe (FME’2003), vol 2805 of Lecture Notes in Computer Science