PhD Student, Formal Methods division, Department of Computer Science and Engineering.
+46729744967, +46 31 772 61 55 Find me http://orcid.org/0000-0002-4853-1586
Page manager Published: Fri 04 Oct 2013. Modified: Tue 22 Aug 2017
Please fill in a message
Send message