Testing and Verifying Invariant Based Programs in the SOCOS Environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralph-Johan Back, Johannes Eriksson, Magnus Myreen. Testing and Verifying Invariant Based Programs in the SOCOS Environment. In Yuri Gurevich, Bertrand Meyer, editors, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Volume 4454 of Lecture Notes in Computer Science, pages 61-78, Springer, 2007. [doi]

This author has not been identified. Look up 'Ralph-Johan Back' in GoogleThis author has not been identified. Look up 'Johannes Eriksson' in GoogleThis author has not been identified. Look up 'Magnus Myreen' in Google

runs on WebDSL