A Certified Multi-prover Verification Condition Generator.

Autor: Herms, Paolo, Marché, Claude, Monate, Benjamin
Zdroj: Verified Software: Theories, Tools, Experiments (9783642277047); 2012, p2-17, 16p
Databáze: Complementary Index
Externí odkaz: