Schäfer, Wilhelm, SpringerLink (Online service)
Springer-Verlag
|
Montangero, Carlo., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Schäfer, Wilhelm., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Brinksma, Ed
Springer
|
EWSPT, Derniame, J. C. (Jean Claude)
Springer-Verlag
|
Endres, Albert, Weber, Herbert, 1940-
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
Refinement Workshop, Till, David, British Computer Society. Specialist Group in Formal Aspects of Computing Science
Springer-Verlag
|
Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Steffen, Bernhard
Springer
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934ー, Langmaack, Hans
Springer-Verlag
|
Montangero, Carlo, SpringerLink (Online service)
Springer-Verlag
|
Schäfer, Wilhelm, Botella, Pere, SpringerLink (Online service)
Springer-Verlag
|