Paolo Herms

According to our database, Paolo Herms authored at least 2 papers between 2012 and 2013.

Collaborative distances:

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

2013

Certification of a Tool Chain for Deductive Program Verification. (Certification d'une chaine de vérification déductive de programmes).

Paolo Herms

PhD thesis, 2013

2012

A Certified Multi-prover Verification Condition Generator.

Paolo Herms, Claude Marché, Benjamin Monate

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012