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

Sun, 01 Jan 1995 00:00:00 +0100

Ted Ralston, Susan L. Gerhart, Dan Craigen:
The Role of Education and Trainig in the Industrial Application of Formal Methods. AMAST 1995: 41-49