Verifying the Mondex Case Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter H. Schmitt, Isabel Tonin. Verifying the Mondex Case Study. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 47-58, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Peter H. Schmitt' in GoogleThis author has not been identified. Look up 'Isabel Tonin' in Google

runs on WebDSL