PakCat catalogue record Model-based software testing and analysis with C# Bibliographic details ISBN9780521886550 PublisherCambridge University Press Publication placeNew York Publication year2008 LanguageEnglish Physical descriptionxvi, 349 p. Additional authorsJacky, Jonathan. Margus Veanes. Colin Campbell. Wolfram Schulte