International Joint Conference on Theory and Practice of Software Development, Bidoit, M. (Michel), 1957-, Dauchet, Max, …
Springer
|
VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934-
Springer-Verlag
|
TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software
Springer
|
International Joint Conference on Theory and Practice of Software Development, Colloquium on Trees in Algebra and …
Springer-Verlag
|
TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software
Springer
|
International Symposium of Formal Methods Europe, Woodcock, James, Larsen, P. G. (Peter Gorm), 1964-
Springer-Verlag
|
International Joint Conference on Theory and Practice of Software Development, Díaz, Josep, 1950-, Orejas, Fernando, …
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software
Springer
|
FASE, Finance, Jean Pierre
Springer-Verlag
|
TACAS, European Conferences on Theory and Practice of Software, Steffen, Bernhard
Springer
|
Colloquium on Trees in Algebra and Programming, Raoult, J.-C. (Jean-Claude)
Springer-Verlag
|