Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service)
Springer-Verlag
|
Naftalin, Maurice, Denvir, Tim, Bertran, Miquel, SpringerLink (Online service)
Springer-Verlag
|
Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Naftalin, Maurice., Denvir, Tim., Bertran, Miquel., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-
Springer
|
Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)
Springer-Verlag
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans
Springer-Verlag
|
Woodcock, James C.P., Larsen, Peter G., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
VDM-Europe Symposium, Bjørner, Dines, 1937-
Springer-Verlag
|
International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会
Springer-Verlag
|