Model Checking Software - Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering