home
contact
intranet
search
jobs
innovations
research
news
events
about CWI
publications
About CWI
general
mission
achievements
organization
annual report
scientific staff
service staff
spin-off companies
research partners
address
ERCIM
contacts
Full name:
Sean Halle
Formal name:
Dr. K.S. Halle
Function:
ERCIM Fellow
Email:
Sean.Halle@cwi.nl
Research groups:
Formal Methods
.