Moa Johansson

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

Published: Fri 04 Oct 2013. Modified: Fri 29 Mar 2019