Search
Now showing items 1-10 of 760
Testing Formal Semantics: Handel-C
(2005-09)
Towards Understanding the Effects of Neutrality on the Sudoku Problem
(ACM Press, 2007)
The future of enterprise groupware applications
(Springer, 2000)