Rob Nederpelt
courses
contact
publications
links
Links
Eindhoven:
Formal Methods section
Department of Computing Science and Mathematics
Eindhoven University of Technology
Scientific:
Wikipedia
- free encyclopedia
People:
Jos Baeten
Henk Barendregt
Roel Bloo
Herman Geuvers
Georgi Jojgov
Fairouz Kamareddine
Jan Willem Klop
Mark Scheffer