2 books • 1 series
Model-Based Software Testing and Analysis with C#
Formal Methods and Software Engineering (Lecture Notes in Computer Science, #3308)