Formal Methods for Industrial Critical Systems - Salaün, Gwen; Kanade, Takeo; Schätz, Bernhard (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering