International Joint Conference on Theory and Practice of Software Development, Gaudel, Marie-Claude, Jouannaud, …
SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
|
International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James
Springer-Verlag
|
International Joint Conference on Theory and Practice of Software Development, Bidoit, M. (Michel), 1957-, Dauchet, Max, …
Springer
|
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, Mosses, Peter D., Nielsen, M. (Mogens), …
Springer
|
Diaz, Josep., Orejas, Fernando., SpringerLink (Online service)
|
FASE, Finance, Jean Pierre
Springer-Verlag
|
International Joint Conference on Theory and Practice of Software Development, Díaz, Josep, 1950-, Orejas, Fernando, …
Springer-Verlag
|
Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)
|
Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)
|
Ehrig, Hartmut., Kowalski, Robert., Levi, Giorgio., Montanari, Ugo., SpringerLink (Online service)
|
TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966-
Springer
|