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]

Abstract

Abstract is missing.