Separating Map Variables in a Logic-Based Intermediate Verification Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski. Separating Map Variables in a Logic-Based Intermediate Verification Language. In Karima Echihabi, Roland Meyer 0001, editors, Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings. Volume 12754 of Lecture Notes in Computer Science, pages 169-186, Springer, 2021. [doi]

This author has not been identified. Look up 'Daniel Dietsch' in GoogleThis author has not been identified. Look up 'Matthias Heizmann' in GoogleThis author has not been identified. Look up 'Jochen Hoenicke' in GoogleThis author has not been identified. Look up 'Alexander Nutz' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL