43
Voted
CADE
2013
Springer
11 years 4 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...