TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Sophie Rain

Univ.Ass.in Dipl.-Ing. / BSc

Sophie Rain

Role

Contact

2022S

 

  • 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