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 note on typed behavioural differential equations In Proceedings
H.H. Hansen (Helle), H. Basold (Henning) and J.J.M.M. Rutten (Jan)
January 2014
-
Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs In Proceedings
January 2014 -
Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track In Proceedings
A. Bellogín Kouki (Alejandro), T. Samar (Thaer), A.P. de Vries (Arjen) and A. Said (Alan)
January 2014 -
January 2014
-
Combining Bialgebraic Semantics and Equations In Proceedings
January 2014
-
Integrating Testing into Agile Software Development Processes In Proceedings
M.M. Bonsangue (Marcello), R. van den Broek, M. Chaudron and H. van Merode
January 2014
-
January 2014
-
Tracing program transformations with string origins In Proceedings
P.A. Inostroza Valdera (Pablo), T. van der Storm (Tijs) and S. Erdweg (Sebastian)
January 2014