Bernhard Gleiss
- Trace Logic for Inductive Loop Reasoning
2020/08/04 by Pamina Georgiou, Georgiou, Pamina, Bernhard Gleiss +3 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques