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 |
Externí odkaz: |
Autor: | Chapman, Roderick, Schanda, Florian |
---|---|
Zdroj: | Interactive Theorem Proving (9783319089690); 2014, p17-26, 10p |
Databáze: | Complementary Index |
Externí odkaz: |