TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software
Springer
|
Hutchison, David, Vardi, Moshe Y., Kittler, Josef, Mattern, Friedemann, Kowalewski, Stefan, Mitchell, John C., Naor, …
Springer Berlin Heidelberg
|
TACAS, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software
Springer
|
TACAS, European Conferences on Theory and Practice of Software, Cleaveland, W. R. (Walter Rance), 1961-
Springer-Verlag
|
TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software
Springer
|
Esparza, Javier, Majumdar, Rupak, SpringerLink (Online service)
Springer-Verlag Berlin Heidelberg
|
International Workshop on Compiler Construction, Koskimies, Kai
Springer
|
FOSSACS, Nivat, Maurice, European Conferences on Theory and Practice of Software
Springer
|
FASE, Astesiano, E. (Egidio), 1939-, International Joint Conference on Theory and Practice of Software Development
Springer
|
Grumberg Orna, Huth Michael, SpringerLink (Online service)
Springer-Verlag
|
European Symposium on Programming, European Conferences on Theory and Practice of Software, Hankin, Chris
Springer-Verlag
|
Abdulla, Parosh Aziz, Leino, K. Rustan M., SpringerLink (Online service)
Springer Berlin Heidelberg
|