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
Hi! I'm Vidya, your virtual assistant.
Need a book recommendation, help with your order or support with any query? I’m here to assist you.