Mapping template semantics to SMV
Abstract (Summary)"A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Mathematics in Computer Science." Includes bibliographical references.
School:University of Waterloo
School Location:Canada - Ontario
Source Type:Master's Thesis
Date of Publication: