Modelling Java Concurrency with Object-Z

Roger Duke, Luke Wildman, Brad Long. Modelling Java Concurrency with Object-Z. In 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. pages 173-181, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.