The Role of Education and Trainig in the Industrial Application of Formal Methods.

Ted Ralston Susan L. Gerhart Dan Craigen The Role of Education and Trainig in the Industrial Application of Formal Methods. 41-49 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#RalstonGC95