Model Checking Software - Groce, Alex; Kanade, Takeo; Musuvathi, Madanlal; Kittler, Josef (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering