Inferring Invarlants with Quantifier Alternations: Taming the Search

von Koenig, Jason R.
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 1 (2022)