70
Voted
DAGSTUHL
2001
14 years 11 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...