Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK.

Autor: Chapman, Roderick, Schanda, Florian
Zdroj: Interactive Theorem Proving (9783319089690); 2014, p17-26, 10p
Databáze: Complementary Index