Links

Eindhoven:

• Formal Methods section
  
• Department of Computing Science and Mathematics
• Eindhoven University of Technology
  

Scientific:

• Wikipedia - free encyclopedia
  

• Jos Baeten
• Henk Barendregt
• Roel Bloo
• Herman Geuvers
• Georgi Jojgov
• Fairouz Kamareddine
• Jan Willem Klop
• Mark Scheffer