Sciweavers

66
Voted
DAGSTUHL
2001
14 years 10 months ago
Thinking Tools for the Future of Computing Science
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...
Cliff B. Jones