Amram, G., Maoz, S., Pistiner, O. &
Ringert, J. O.,
2021,
Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (eds.).
Springer Science and Business Media Deutschland GmbH,
p. 163-181 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13047 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review