by Broy, M, 1949- | Grunbauer, Johannes | Hoare, C. A. R. (Charles Antony Richard), 1934- | ProQuest (Firm).
by NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany) | Broy, M, 1949- | Kalus, Georg | Peled, Doron, 1962-.