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.
J. C. M. Baeten is Professor of Formal Methods in the Division of Computer Science at Eindhoven University of Technology, Netherlands. See less
J C M Baeten's Featured Books