Model based software testing and analysis with C# - Jacky Jonathan; Campbell Colin; Schulte Wolfram; Veanes Margus (Cambridge Cambridge University Press, 2008)
Appendix A-B, 281-314p.; Glossary 315-331p.; Bibliography 333-349p.
Keywords: C-Computer programming language; Computer software-Quality control; Computer software-Testing; Programming-Software development; Computer Science