author : Klaas Wijbrans

Short works

• The development of a parallel C compiler. 1988. (In Parallel Programming of Transputer Based Machines )
• Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. 1999. (In FM'99 volume 2 )