TACAS, Graf, Susanne, Schwartzbach, Michael I, European Conferences on Theory and Practice of Software
Springer
|
TACAS, Halbwachs, Nicolas, Zuck, Lenore D., European Conferences on Theory and Practice of Software
Springer
|
TACAS, Katoen, Joost-Pieter, Stevens, Perdita, European Conferences on Theory and Practice of Software
Springer
|
TACAS, Brinksma, Ed
Springer
|
TACAS, European Conferences on Theory and Practice of Software, Steffen, Bernhard
Springer
|
TACAS, Margaria, Tiziana, Steffen, Bernhard
Springer
|
TACAS, Jensen, K. (Kurt), 1950-, Podelski, Andreas, 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, Margaria, Tiziana, Yi, Wang, European Conferences on Theory and Practice of Software
Springer
|
TACAS, Brinksma, Ed
Springer
|
TACAS, European Conferences on Theory and Practice of Software, Garavel, Hubert, Hatcliff, John, 1966-
Springer
|
International Workshop on Compiler Construction, European Conferences on Theory and Practice of Software, Mycroft, Alan, …
Springer
|