Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Dvir, Y., Kammar, O. & Lahav, O., 25 Nov 2022, Programming Languages and Systems: 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings. Sergey, I. (ed.). Springer, p. 2-2422 p. (Lecture Notes in Computer Science; vol. 13658).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution