Found 2 Documents (Results 1–2)
Filter Results by …
all
top 5
Author
- Berendsen, Jasper (1)
- Cimatti, Alessandro (1)
- Griggio, Alberto (1)
- Jansen, David N. (1)
- Schmaltz, Julien (1)
- Sebastiani, Roberto (1)
- Vaandrager, Frits W. (1)
Serial
- ACM Trans. Comput. Log. (1)
- J. Appl. Log. (1)
Software
- Isabelle/HOL (1)
- Yices (1)
- Z (1)