%0 Thesis %1 phd/ca/Gardner99 %A Gardner, William B. %D 1999 %K dblp %T CSP++: an object-oriented application framework for software synthesis from CSP specifications.

@phdthesis{phd/ca/Gardner99, added-at = {2022-09-26T00:00:00.000+0200}, author = {Gardner, William B.}, biburl = {https://www.bibsonomy.org/bibtex/21136e46b30f6c3d830d7bbb71cabe10b/dblp}, ee = {https://dspace.library.uvic.ca/handle/1828/9350}, interhash = {437613020ae24210d90aab112f1ddb26}, intrahash = {1136e46b30f6c3d830d7bbb71cabe10b}, keywords = {dblp}, school = {University of Victoria, Canada}, timestamp = {2024-04-09T09:28:20.000+0200}, title = {CSP++: an object-oriented application framework for software synthesis from CSP specifications.}, year = 1999 }