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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on