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: |
|