Author:Florian Zuleger
Keyphrasesautomated reasoning, decision procedure, Disjunctive Invariants, intuitionistic logic, loop bounds, model theory, program analysis, proof theory, separation logic, termination, transitive closure, undecidability. |
![]() | ||||||
| ||||||
Copyright © 2012-2023 easychair.org. All rights reserved. |