Magnus Myreen

Associate professor, Formal Methods division, Department of Computer Science and Engineering.

Published: Mon 05 Oct 2020.