%0 Conference Paper %1 conf/ecbs/DoxseeG05 %A Doxsee, Stephen %A Gardner, William B. %B ECBS %D 2005 %I IEEE Computer Society %K dblp %P 193-201 %T Synthesis of C++ Software from Verifiable CSPm Specifications. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2005.html#DoxseeG05 %@ 0-7695-2308-0

@inproceedings{conf/ecbs/DoxseeG05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Doxsee, Stephen and Gardner, William B.}, biburl = {https://www.bibsonomy.org/bibtex/2107afee7c10e7dfa792a6e97c03127e6/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/ECBS.2005.64}, interhash = {c9d784e466b4e60b4ffe1f293401b730}, intrahash = {107afee7c10e7dfa792a6e97c03127e6}, isbn = {0-7695-2308-0}, keywords = {dblp}, pages = {193-201}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:43.000+0200}, title = {Synthesis of C++ Software from Verifiable CSPm Specifications.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2005.html#DoxseeG05}, year = 2005 }