Author
SpringerLink (Online service)
11
ISoLA (Symposium)
10
Margaria-Steffen, Tiziana, 1964-
8
Steffen, Bernhard,
8
ISoLA (Symposium) Kerkyra, Greece)
5
ISoLA (Symposium) Limassol, Cyprus)
3
Hähnle, Reiner,
1
ISoLA (Symposium) Limassol, Cyprus),
1
International Workshop on Numerical Software Verification
1
International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems
1
International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems Haifa, Israel)
1
Isac, Omri
1
Ivanov, Radoslav, 1950-
1
Katz, Guy
1
Lamprecht, Anna-Lena,
1
Narodytska, Nina
1
Nenzi, Laura
1