International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, …
Springer
|
FAABS, Rash, James L., Rouff, Christopher A., Truszkowski, Walt, Gordon, Diana, Hinchey, Michael G. (Michael Gerard), …
Springer
|
IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, IEEE Computer Society. …
IEEE Computer Society
|
ICFEM, Liu, Zhiming, He, Jifeng, 1943-
Springer
|
FAABS, Hinchey, Michael G. (Michael Gerard), 1969-
Springer
|
International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino
Springer
|
FAABS, Hinchey, Michael G. (Michael Gerard), 1969-
Springer
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-
Springer
|
Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, Mar?a M.
Springer eBooks Computer Science, Springer Berlin Heidelberg
|
International Symposium of Formal Methods Europe, Eriksson, L.-H. (Lars-Henrik), 1960-, Lindsay, Peter Alexander
Springer
|
Butler, Michael, Hinchey, Michael G., Hinchey, Michael Gerard, Kanade, Takeo, Larrondo-Petrie, María M.
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-
Springer-Verlag
|