Formal Specification of Java Concurrency to Assist Software Verification

Brad Long, Benjamin W. Long. Formal Specification of Java Concurrency to Assist Software Verification. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. pages 136, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.