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]
No reviews for this publication, yet.