P. Rovarini

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. J. Syst. Softw. 70 (1-2) (2004)