Jacky,Jonathan Model-based software testing and analysis with C# / Jonathan Jacky - Cambridge University Press, 2008 ISBN: 9780521687614 Subjects--Topical Terms: Analysis with C#Model-based software Dewey Class. No.: 005.133 / JAC