Ted Ralston, Susan L. Gerhart, Dan Craigen. The Role of Education and Trainig in the Industrial Application of Formal Methods. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 41-49, Springer, 1995.
Abstract is missing.