Model-Based Software Testing and Analysis with C#: A Model-based Approach Using SpecExplorer

by: Jonathan Jacky · Margus Veanes · Colin Campbell · Wolfram Schulte Cambridge University Press · 2007 Ppb. details (United Kingdom). details (USA). details (Canada). details (Germany). details (France). ISBN: 978-0-521-68761-4 ISBN-10: 0-521-68761-6