Bruno Pietra

According to our database, Bruno Pietra authored at least 1 paper in 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.

Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu

Proceedings of the Computer Aided Verification, 9th International Conference, 1997