Koenig, Jason R.
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion
2021/12/10 by Jason R. Koenig, Koenig, Jason R., Oded Padon +5 · 1 citation
Computer Science · #D.2.4 #Distributed systems and fault tolerance #F.3.1 #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Topic Modeling