Bibliografia

Principal

• Software Abstractions: Logic, Language, and Analysis: D. Jackson 2006 MIT Press
• Introduction to Software Testing: P. Amman and J. Offutt 2008 Cambridge University Press

Secundária

Não foi definida bibliografia secundária