Carmen Porzia

1999
2	EE	A. Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita: Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP 1999: 410-419
1998
1	EE	Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard: Applying Formal Methods in Industry The UseGat Project. SAFECOMP 1998: 231-242

Coauthor Index

1	Gino Biondi	[1]
2	Sandro Bologna	[1]
3	Rocco Bove	[1]
4	A. Chiappini	[2]
5	Alessandro Cimatti	[2]
6	Giovanni Dipoppa	[1]
7	Niels Kirkegaard	[1]
8	Giorgio Mongardi	[1]
9	Benny Graft Mortensen	[1]
10	G. Rotondo	[2]
11	Roberto Sebastiani	[2]
12	Paolo Traverso	[2]
13	Adolfo Villafiorita	[2]