CADE
2013
Springer
11 years 10 months 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...