Bibliografia

Principal

• Doron Peled, Software Reliability Methods, Springer, 2001.Mordechai Ben-Ari, Principles of the Spin Model Checker, Springer 2008Gerard Holzmann, Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003Program Development in Java. Barbara Liskov with John Guttag, Addison Wesley, 2001:

Secundária

• Overview research papers on JML and ESC/Java: