Michael R HansenMichael R. Hansen is an Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Hans Rischel) and Duration Calculus: A Foral Approach to Real-Time Systems (with Zhou Chaochen). Read More Read Less
An OTP has been sent to your Registered Email Id:
Resend Verification Code