CADE
2013
Springer
10 years 11 days ago
2013
Springer
Deductive program veri cation is making fast progress these days. One of the reasons is a tremendous improvement of theorem provers in the last two decades. This includes various k...