ICLA
2009
Springer
14 years 1 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...