Composing invariants (2003)

by M Charpentier
Venue:In Proc. FME, LNCS 2805