Skip to main content

J C M Baeten

J. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands.