147
click to vote
ICLA
2009
Springer
16 years 18 days ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...