J C M BaetenJ. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands.
An OTP has been sent to your Registered Email Id:
Resend Verification Code