Heterogeneous formal specification based on object-z and state charts: semantics and verification (0)

by P Gruer, V Hilaire, A Koukam
Venue:Journal of Systems and Software