Dan Craigen
4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
m-EVES: a tool for verifying software
Dan Craigen and others (2003) · Proceedings/Proceedings - International Conference on Software Engineering · Institute of Electrical and Electronics Engineers
Observations on industrial practice using formal methods
S.L. Gerhart and others (2002)
Formal methods technology transfer: Impediments and innovation (abstract)
Dan Craigen (1995) · Lecture notes in computer science · Springer Science+Business Media
An International Survey of Industrial Applications of Formal Methods
Dan Craigen and others (1993) · Springer London