CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
September 1994 -
Executable language definitions : case studies and origin tracking techniques Dissertation
Software EngineeringSeptember 1994 -
September 1994 -
October 1994 -
October 1994 -
Modular algebraic specifications and transformational program development Dissertation
Software EngineeringOctober 1994 -
October 1994
-
Supervised boundary formation Dissertation
October 1994