Sciweavers

Share
COMPUTER
2006
87views more  COMPUTER 2006»
9 years 9 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
books