CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
October 1994 -
October 1994 -
Modular algebraic specifications and transformational program development Dissertation
Software EngineeringOctober 1994 -
October 1994
-
Supervised boundary formation Dissertation
October 1994 -
November 1994
-
November 1994
-
Polling systems Dissertation
November 1994