70
Voted
BIRTHDAY
2008
Springer
15 years 9 days ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...