A Separation Logic with Data: Small Models and Automation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher. A Separation Logic with Data: Small Models and Automation. In Didier Galmiche, Stephan Schulz 0001, Roberto Sebastiani, editors, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Volume 10900 of Lecture Notes in Computer Science, pages 455-471, Springer, 2018. [doi]

This author has not been identified. Look up 'Jens Katelaan' in GoogleThis author has not been identified. Look up 'Dejan Jovanovic' in GoogleThis author has not been identified. Look up 'Georg Weissenbacher' in Google

runs on WebDSL