If you made any changes in Pure these will be visible here soon.

Research Output


A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (eds.). Berlin: Springer, p. 66-73 8 p. (Lecture Notes in Computer Science; vol. 5930).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)