Integrating Verification and Testing of Object-Oriented Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Engel, Christoph Gladisch, Vladimir Klebanov, Philipp Rümmer. Integrating Verification and Testing of Object-Oriented Software. In Bernhard Beckert, Reiner Hähnle, editors, Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Volume 4966 of Lecture Notes in Computer Science, pages 182-191, Springer, 2008. [doi]

This author has not been identified. Look up 'Christian Engel' in GoogleThis author has not been identified. Look up 'Christoph Gladisch' in GoogleThis author has not been identified. Look up 'Vladimir Klebanov' in GoogleThis author has not been identified. Look up 'Philipp Rümmer' in Google

runs on WebDSL