Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jasmin Blanchette, Laura Kovács, Dirk Pattinson, editors, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Volume 13385 of Lecture Notes in Computer Science, Springer, 2022. [doi]

Conference: cade2022

This author has not been identified. Look up 'Jasmin Blanchette' in GoogleThis author has not been identified. Look up 'Laura Kovács' in GoogleThis author has not been identified. Look up 'Dirk Pattinson' in Google

runs on WebDSL