dblp.uni-trier.dewww.uni-trier.de

Joe Profeta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)