Formal Methods: Foundations and Applications - Davies, Jim; Kanade, Takeo; Silva, Leila; Simao, Adenilso; Simão, Adenilso (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering