FM 2006: Formal Methods - Misra, Jayadev; Kanade, Takeo; Nipkow, Tobias; Sekerinski, Emil (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering