Sciweavers

COMPUTER
2006
87views more  COMPUTER 2006»
13 years 11 months ago
What Can We Expect from Program Verification?
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...
Michael Jackson