PakCat catalogue record

Model-based software testing and analysis with C#

Bibliographic details

Additional authors

Jacky, Jonathan. Margus Veanes. Colin Campbell. Wolfram Schulte