Author
SpringerLink (Online service)
8
ISoLA (Symposium)
2
Margaria-Steffen, Tiziana, 1964-
2
Ahrendt, Wolfgang,
1
Arbel, Eli,
1
Beckert, Bernhard,
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
CPP 2012
1
CPP 2012 Kyoto, Japan)
1
Deshmukh, Jyotirmoy,
1
ETAPS (Conference)
1
Hawblitzel, Chris
1
Hähnle, Reiner,
1
ISoLA (Symposium) Kerkyra, Greece)
1
ISoLA (Symposium) Online)
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Tokyo, Japan)
1
International Haifa Verification Conference
1
International Haifa Verification Conference Haifa, Israel)
1
Lamprecht, Anna-Lena,
1
Lawford, Mark,
1
Legay, Axel,
1
Liu, Shaoying, 1960-
1
Miller, Dale
1
Ničković, Dejan,
1
Ogata, Kazuhiro,
1
RV (Conference)
1
RV (Conference) Online)
1
Schmitt, P. H. 1948-
1
Steffen, Bernhard
1
TACAS (Conference)
1
TACAS (Conference) Uppsala, Sweden)
1
Ulbrich, Mattias,
1