1994-1997: Formal Methods -- www.cs.vu.nl/~eliens/fm

achtergrond:  [DLP], see DLP Resources