Thomas Thelin Software Testing and Continuous Quality Improvement. Second Edition. By William E. Lewis. Technical Contributor: Gunasekaran Veerapillai. Published by Auerbach Publications, 2005, ISBN: 0-8493-2524-2, pp 534. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2005, v:15, n:3, pp:201-202 [Journal]
Joël Ouaknine Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Springer, Texts in Theoretical Computer Science Series, 2004, ISBN: 3-540-00296-0, pp 600. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2005, v:15, n:3, pp:202-203 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP