Avgeriou, Paris, Grundy, John, Hall, Jon G., Lago, Patricia, Mistrík, Ivan
Springer Berlin Heidelberg
|
TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim
Springer Berlin Heidelberg
|
Burge, Janet E.; Carroll, John M.; Mistrík, Ivan, Burge, Janet E., Carroll, John M.
Springer Berlin Heidelberg
|
International Conference on Formal Engineering Methods, Barnett, Mike, Davies, Jim, Schulte, Wolfram
Springer Berlin / Heidelberg
|
SEM 2002, Coen-Porisini, Alberto, Hoek, Andre van der, Hoek, André van der
Springer Berlin Heidelberg
|
Karat, John, Desmarais, Michel C., Seffah, Ahmed, Vanderdonckt, Jean
Springer London
|
Dutoit, Allen H.; Mistrik, Ivan; Paech, Barbara, Dutoit, Allen H., McCall, Raymond
Springer Berlin Heidelberg
|
Tobler, John, Grundy, Stuart
St. Martin's Press
|
SCM 2001, Hoek, André van der, Westfechtel, Bernhard
Springer Berlin Heidelberg
|
Tobler, John, Grundy, Stuart
British Broadcasting Corporation
|
International Conference on Formal Engineering Methods, Dong, Jin Song, Woodcock, Jim
Springer Berlin Heidelberg
|
TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles
Springer Berlin Heidelberg
|