Model Checking Software - Bartocci, Ezio; Ramakrishnan, C.R.; Ramakrishnan, C. R. (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Software Engineering