117
Voted
DAGSTUHL
2001
15 years 4 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...