Bibliografia/Bibliography

Series: Undergraduate Topics in Computer Science
Almeida, J.B., Frade, M.J., Pinto, J.S., Melo de Sousa, S.
1st Edition., 2011, XIII, 307 p. 52 illus.


Linguagem de anotações Dafny
- Dafny site
- Github
- Install with VSCODE (or Emacs)

By Daniel Kroening and Ofer Strichman (2016)
SMT-LIB
SMT-COMP
Z3 : guide
Z3 internals
Z3 tutorial