A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents

doi 10.22215/etd/2004-06001
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Carleton University


Related search