Author
SpringerLink (Online service)
82 results
ETAPS (Conference)
4 results
Broy, M., 1949-
3 results
Ciancarini, Paolo, 1959-
2 results
Cousot, Patrick, 1948-
2 results
International Static Analysis Symposium Paris, France
2 results
LINK (Online service)
2 results
Linden, Frank van der, 1954-
2 results
Oivo, Markku
2 results
Wooldridge, Michael J., 1966-
2 results
Zambonelli, Franco, 1966-
2 results
ACM SIGPLAN Workshop LCTES '98 Montréal, Québec
1 results
AOSE 2000 Limerick, Ireland
1 results
AOSE 2001 Montréal, Québec
1 results
Abrial, Jean-Raymond
1 results
Ada-Europe International Conference on Reliable Software Technologies Santander, Spain
1 results
Ada-Europe International Conference on Reliable Software Technologies Vienna, Austria
1 results
Anand, Sarabjot S.
1 results
Andrews, D. (Derek)
1 results
Angeline, Peter J.
1 results
Astesiano, E. (Egidio), 1939-
1 results
Basili, Victor R., 1940-
1 results
Bergenti, Federico
1 results
Bestavros, Azer, 1961-
1 results
Bidoit, M. (Michel), 1957-
1 results
Bird, Richard, 1943-
1 results
Bishop, J. M. (Judith Mary), 1951-
1 results
Bjørner, D. (Dines), 1937-
1 results
Blieberger, Johann
1 results
Bomarius, Frank
1 results
Borning, Alan (Alan H.), 1950-
1 results
Bowen, J. P. (Jonathan Peter), 1956-
1 results
Brinksma, Ed
1 results
Börger, E. (Egon), 1946-
1 results
COMPASS Workshop
1 results
CP '97 Linz, Austria
1 results
Calero, Coral, 1968-
1 results
Calmet, Jacques
1 results
Cazzola, Walter, 1969-
1 results
Chastek, Gary J., 1948-
1 results
Chen, Peter P. S.
1 results
Christie, Alan M., 1942-
1 results
Cleaveland, W. R. (Walter Rance), 1961-
1 results
Cointe, Pierre, 1954-
1 results
Comninos, Peter, 1949-
1 results
Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore, India
1 results
Coutaz, Joëlle
1 results
Czarnecki, Krzysztof, 1970-
1 results
DSV-IS 2000 Limerick, Ireland
1 results
DSV-IS 2003 Funchal, Madeira Islands
1 results
more…