Bibliografia
Principal
- Software Abstractions, Logic, Language, and Analysis: Daniel Jackson 2011 MIT Press
- The Calculus of Computation: Decision Procedures with Applications to Verification: Aaron R. Bradley and Zohar Manna 2007 Springer
- Developing Verified Programs with Dafny: K. Rustan and M. Leino 2012 Springer