Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social Processes and the Proof of Theorems and Programs. Comm. ACM 22(5), 271–280 (1979)
2. Dobson, J.E., Randell, B.: Viewpoint: Program Verification: Public Image and Private Reality. Comm. ACM 32(4), 420–422 (1989)
3. Fetzer, J.H.: Program Verification, the Very Idea. Comm. ACM 31(9), 1048–1063 (1988)
4. Hoare, T.: Data Reliability. In: Proc. of the International Conference on Reliable Software, pp. 528–533. ACM Press, New York (1975)
5. ITRS Roadmap. International Technology Roadmap for Semiconductors, 2009 edn. Executive Summary. Semiconductor Industry Association (2009)