Ian Erik Varatalu

Publications

Journal / Periodical: Computer Aided Verification. Proceedings, Part III
Authors: Varatalu, Ian Erik; Veanes; Margus; Zhuchko, Ekaterina; Ernits, Juhan-Peep
Year: 2025
Journal / Periodical: Proceedings of the ACM on Programming Languages
Authors: Varatalu, Ian Erik; Veanes, Margus; Ernits, Juhan
Year: 2025