 |
Scientific programmer involved with: development of the
µCRL
tool set , model checking, rewrite systems, user interfaces (java).
Address: CWI
Department of Software Engineering
SEN2 (Specification and Analysis
of Embedded Systems)
Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
Room: M338
Tel.: +31 20 592 4099
Fax: +31 20 592 4199
E-mail: bertl@cwi.nl
|