Combining Logic and Algebraic Techniques for Program Verification in Theorema - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Kovács, Nikolaj Popov, Tudor Jebelean. Combining Logic and Algebraic Techniques for Program Verification in Theorema. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 67-74, IEEE, 2006. [doi]

This author has not been identified. Look up 'Laura Kovács' in GoogleIdentified as Nikolaj Popov This author has not been identified. Look up 'Tudor Jebelean' in Google

runs on WebDSL