TY - BOOK AU - Jacky,Jonathan TI - Model-based software testing and analysis with C# SN - 0521886554 AV - QA76.76.T48 .M62 2008 PY - 2008/// CY - Cambridge PB - Cambridge University Press KW - Computer software KW - Testing KW - Quality control KW - C# (Computer program language) ER -