An overview of the Leon verification system: verification by translation to recursive functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter. An overview of the Leon verification system: verification by translation to recursive functions. In Proceedings of the 4th Workshop on Scala, SCALA@ECOOP 2013, Montpellier, France, July 2, 2013. ACM, 2013. [doi]

This author has not been identified. Look up 'Régis Blanc' in GoogleThis author has not been identified. Look up 'Viktor Kuncak' in GoogleThis author has not been identified. Look up 'Etienne Kneuss' in GoogleIdentified as Philippe Suter

runs on WebDSL