Software (theme 1)
Springer
Lecture Notes in Computer Science
Horizons of the Mind
Computer Security

de Boer, F.S, & Gabbrielli, M. (2014). Leaving traces: a note on a sound and complete trace logic for concurrent constraint programs. In Proceedings of Horizons of the Mind 2014 (0). Springer.