Lessons from the JML Project - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gary T. Leavens, Curtis Clifton. Lessons from the JML Project. In Bertrand Meyer, Jim Woodcock, editors, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Volume 4171 of Lecture Notes in Computer Science, pages 134-143, Springer, 2005. [doi]

This author has not been identified. It may be one of the following persons:

Gary T. Leavens

Look up 'Gary T. Leavens' in GoogleThis author has not been identified. Look up 'Curtis Clifton' in Google

runs on WebDSL