Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Computing surveys symposium on computational complexity and the nature of computer science. ACM Computing Surveys, 27(1):5–61, 1995.
2. E. Brinksma. What is the method in formal methods? In Formal description Techniques, IV, IFIP Transactions C-2, pages 33–50. North-Holland, 1992.
3. J. Hartmanis. Turing award lecture: On computational complexity and the nature of computer science. ACM Computing Survays, 27(1):7–16, 1995.
4. P. Lukowicz, E. A. Heinz, L. Prechelt, and W. F. Tichy. Experimental evaluation in computer science: A quantitative study. Journal of Systems and Software, 28(1):9–18, January 1995.
5. Robin Milner. Is computing an experimental science. Technical Report ECS-LFCS-86-1, Laboratory for the Foundations of Computer Science, University of Edinburgh, 1986.