FM 2009: Formal Methods - Cavalcanti, Ana; Dams, Dennis R.; Kanade, Takeo; Dams, Dennis; Kittler, Josef (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering