Formal methods for software pattern specifications

Files
ucalgary_2006_huang_jian_544343.pdf(9.42 MB)
Date
2006
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography: p. 105-112
Keywords
Citation
Huang, J. (2006). Formal methods for software pattern specifications (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/672
URI
http://hdl.handle.net/1880/101673
Collections
Legacy Theses