Irwin Meisels
1 reference 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