Endres, Albert., Weber, Herbert., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Symposium of Formal Methods Europe, Oliveira, José N., Zave, Pamela, 1948-
Springer
|
Endres, A., Weber, H., SpringerLink (Online service)
Springer-Verlag
|
International Symposium on Object Technologies for Advanced Software, 二木, 厚吉(1948-), 松岡, 聡, 日本ソフトウェア科学会
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, Bjørner, Dines, 1937-
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
VDM-Europe Symposium, Bloomfield, Robin E., Marshall, Lynn S., Jones, Roger B.
Springer-Verlag
|
EWSPT, Schäfer, Wilhelm
Springer-Verlag
|
International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel
Springer-Verlag
|
EWSPT, Derniame, J. C. (Jean Claude)
Springer-Verlag
|
Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard
Springer
|