P. Rovarini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

1 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		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]