FM 2008: Formal Methods - Cuellar, Jorge; Kanade, Takeo; Maibaum, Thomas S. E.; Maibaum, Tom; Sere, Kaisa; Kittler, Josef (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering