External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Brad Long

This author has not been identified. Look up 'Brad Long' in Google

Benjamin W. Long

This author has not been identified. Look up 'Benjamin W. Long' in Google
runs on