PhD Research Fellowship in Formal Methods for Real-Time Systems

University of Oslo Department of Informatics