Certified Verification of Relational Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified Verification of Relational Properties. In Maurice H. ter Beek, Rosemary Monahan, editors, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Volume 13274 of Lecture Notes in Computer Science, pages 86-105, Springer, 2022. [doi]

This author has not been identified. Look up 'Lionel Blatter' in GoogleThis author has not been identified. Look up 'Nikolai Kosmatov' in GoogleThis author has not been identified. Look up 'Virgile Prevosto' in GoogleThis author has not been identified. Look up 'Pascale Le Gall' in Google

runs on WebDSL