Model-based software testing and analysis with C♯de Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram SchulteMateriasC♯ (Computer program language)Quality controlTestingComputer softwareComputer software, quality controlC sharp (computer program language)C# (Computer program language)