Balancing Insight and Effort: The Industrial Uptake of Formal Methods - Formal Methods and Hybrid Real-Time Systems - page 254

90. Barnett, M., Leino, R.M., Schulte, W.: The Spec# Programming System: An Overview. In:
Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS,
vol. 3362, Springer, Heidelberg (2005)
91. Wing, J.: Weaving Formal Methods into the Undergraduate Computer Science Curriculum.
In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, Springer, Heidelberg (2000)
92. Palmer, T.V., Pleasant, J.C.: Attitudes Toward the Teaching of Formal Methods of Software
Development in the Undergraduate Computer Science Curriculum: a Survey. SIGCSE Bul-
letin 27(3), 53-59 (1995)
93. Skevoulis, S., Makarov, V.: Integrating Formal Methods Tools into Undergraduate Computer
Science Curriculum. In: Frontiers in Education Conference, 36th Annual, ASEE, pp. 1-6.
IEEE Computer Society Press, Los Alamitos (2006)