Thomas Meyer
(Gleiche Information auf Deutsch)
Program development by transformation
Monadic structures
Formal specification techniques - Attributations
Higher Order Logic
My office is in MZH building, room 8200
E-mail: tm@Informatik.Uni-Bremen.DE Address: Thomas Meyer University of Bremen - FB 3 P.O. Box 330 440 D-28334 Bremen Tel.: +49 421 218-4228 Germany