Joe Profeta

	1997
1		Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213

Coauthor Index

1	Alessandro Cimatti	[1]
2	Fausto Giunchiglia	[1]
3	Paolo Pecchiari	[1]
4	Bruno Pietra	[1]
5	Dario Romano	[1]
6	Paolo Traverso	[1]
7	Bing Yu	[1]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page