International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James
Springer-Verlag
|
Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard
Springer
|
International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel
Springer-Verlag
|
Endres, Albert, Weber, Herbert, 1940-
Springer-Verlag
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans
Springer-Verlag
|
VDM-Europe Symposium, Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B.
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service)
Springer-Verlag
|
VDM-Europe Symposium, Bjørner, Dines, 1937-
Springer-Verlag
|
Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会
Springer-Verlag
|
Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)
Springer-Verlag
|