CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A survey of program slicing techniques Tech Report
January 1994
-
January 1994
-
BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994 Proceedings
January 1994
-
January 1994 -
January 1994
-
CMIFed: A Transportable Hypermedia Authoring System Miscellaneous
L. Hardman (Lynda), G. van Rossum (Guido), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)
January 1994
-
January 1994
-
Branching bisimulation as a strong bisimulation Tech Report
January 1994