Martin Steffen
University of Oslo
Faculty of Mathematics and Natural Sciences
Department of Computer Science
Reliable Systems
Reliable systems