Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Joe
Last name:	Profeta
DBLP:	73/3166
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	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.	Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings 1997	(0)	1997

Your query returned 1 matches in the database.