International Colloquium on Automata, Languages and Programming, Widmayer, Peter
Springer
|
International Conference on Software Engineering
Association for Computing Machinery
|
International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, …
Springer
|
European Symposium on Programming, Sagiv, Mooly, European Conferences on Theory and Practice of Software
Springer
|
SAS, Palsberg, Jens
Springer
|
International Colloquium on Automata, Languages and Programming, Díaz, Josep, 1950-, Karhumäki, J, Lepistö, Arto, …
Springer
|
COMPSAC, IEEE Computer Society
IEEE Computer Society Press
|
International Conference on the Mathematics of Program Construction, Kozen, Dexter
Springer
|
SAS, Cousot, Patrick, 1948-
Springer
|
SAS, Cortesi, Agostino, Filé, Gilberto, 1951-
Springer
|
International Colloquium on Automata, Languages and Programming, Baeten, Jos C. M.
Springer
|
IEEE Computer Society, COMPSAC
IEEE Computer Society
|