Formal Methods for Industrial Critical Systems - Leue, Stefan; Merino, Pedro (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering