A case study in integrating formal verification tools using the OMDoc standard for mathematical documents /

Description

Thesis (M.C.S.)--Carleton University, 2004. / Includes bibliographical references (p. 97-100). Also available in electronic format on the Internet.

Links & Downloads

1. http://proxy.library.carleton.ca/login?url= http://wwwlib.umi.com/cr/carleton/fullcit?pMQ97455

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/290649618
Date	January 1900
Creators	Jin, Xiao Bing,
Publisher	Ottawa,
Source Sets	OCLC
Language	English
Detected Language	English
Source	ProQuest Full Text