Sophie Rain
Univ.Ass.in Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Courses
Publications
- Summing Up Smart Transitions / N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs / Talk: 33rd International Conference on Computer Aided Verification (CAV), Los Angeles, US; 2021-07-20 - 2021-07-23; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)", A. Silva, R. Leino (ed.); Springer LNCS, 12759 (2021), 317 - 340