TU Wien Informatics

Role

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