105
click to vote
CADE
2007
Springer
16 years 2 hour ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...