P. Rovarini

List of publications from the DBLP Bibliography Server - FAQ

2004

1 EE Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini: Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. Journal of Systems and Software 70(1-2): 95-105 (2004)

2004
1	EE	Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini: Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. Journal of Systems and Software 70(1-2): 95-105 (2004)

Coauthor Index

1	Pablo Gruer	[1]
2	Vincent Hilaire	[1]
3	Abder Koukam (Abderrafiaa Koukam)	[1]