Springer
Lecture Notes in Computer Science
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Computer Security

de Boer, F.S. (2007). A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs. In FMOODS (pp. 252–268). Springer.