Software Engineering Education and Training, Conference on
Technology Transfer Issues for Formal Methods of Software Specification
DOI Bookmark: 10.1109/CSEE.2000.827014
Authors
Ken Abernethy, Furman UniversityJohn Kelly, California Institute of Technology
John Powell, NASA
James D. Kiper, Miami University
Ann Sobel, Miami University