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.

Program Composition in Isabelle/UNITY

Sidi O. Ehmety, Lawrence C. Paulson. Program Composition in Isabelle/UNITY. In 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings. IEEE Computer Society, 2002. [doi]

Authors

Sidi O. Ehmety

This author has not been identified. Look up 'Sidi O. Ehmety' in Google

Lawrence C. Paulson

This author has not been identified. Look up 'Lawrence C. Paulson' in Google
runs on