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

• Authors:

• Ted Ralston;Susan L. Gerhart;Dan Craigen

• Affiliations:

• -;-;-

• Venue:
• AMAST '95 Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1995