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.
@inproceedings{RalstonGC95,
title = {The Role of Education and Trainig in the Industrial Application of Formal Methods},
author = {Ted Ralston and Susan L. Gerhart and Dan Craigen},
year = {1995},
researchr = {https://researchr.org/publication/RalstonGC95},
cites = {0},
citedby = {0},
pages = {41-49},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings},
editor = {Vangalur S. Alagar and Maurice Nivat},
volume = {936},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60043-4},
}