|
Bibliografía básica
|
Mordechai Ben-Ari (2012). Mathematical Logic for Computer Science. Springer
Ron Patton (2001). Software testing. Sams
Peter Farrell-Vinay (2008). Manage software testing. Auerbach
Kent Beck (2002). Test Driven Development (By Example). Addison-Wesley
Gerard J. Holzmann (2003). The SPIN model checker: primer and reference manual. Addison-Wesley
Mordechai Ben-Ari (2001). Mathematical Logic for Computer Science. Springer
Zohar Manna and Amir Pnueli (1991). The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer
Zohar Manna and Amir Pnueli (1995). The Temporal Logic of Reactive and Concurrent Systems. Safety. Springer
|