II - Systems with Finite Models
Published online by Cambridge University Press: 02 March 2010
- Type
- Chapter
- Information
- Model-Based Software Testing and Analysis with C# , pp. 55 - 56Publisher: Cambridge University PressPrint publication year: 2007