Integrating Object-Oriented Design and Deductive Verification of Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt. Integrating Object-Oriented Design and Deductive Verification of Software. In Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India. pages 260, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Reiner Hähnle' in GoogleThis author has not been identified. Look up 'Peter H. Schmitt' in Google

runs on WebDSL