Model Checking Software - Carbonell, Jaime G.; Siekmann, Jörg; Edelkamp, Stefan; Pfenning, Frank (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Software Engineering