Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... 2931 (Lecture Notes in Computer Science)
by Andreas Ulrich,Alexandre Petrenko
ISBN 13: 9783540208945
Format: Paperback (276 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
The Unknown Component Problem: Theory and Applications
by Tiziano Villa,Nina Yevtushenko,Robert K. Brayton,Alan Mishchenko,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli
ISBN 13: 9781489973948
Format: Paperback (328 pages) Publisher: Springer Published: 25 Jan 2014