Martin Steffen
University of Oslo
Faculty of Mathematics and Natural Sciences
Department of Computer Science
Precise modelling and analysis