topical media & game development
1994-1997: Formal Methods --
www.cs.vu.nl/~eliens/fm
achtergrond:
[
DLP
]
, see
DLP Resources