%0 Journal Article %1 journals/tecs/Gardner05 %A Gardner, William B. %D 2005 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 2 %P 302-330 %T Converging CSP specifications and C++ programming via selective formalism. %U http://dblp.uni-trier.de/db/journals/tecs/tecs4.html#Gardner05 %V 4

@article{journals/tecs/Gardner05, added-at = {2020-09-08T00:00:00.000+0200}, author = {Gardner, William B.}, biburl = {https://www.bibsonomy.org/bibtex/277616635e752b87aa8a50b7cb2c13f91/dblp}, ee = {https://doi.org/10.1145/1067915.1067919}, interhash = {8172d1c560f04309856d214de0099c81}, intrahash = {77616635e752b87aa8a50b7cb2c13f91}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 2, pages = {302-330}, timestamp = {2020-09-09T12:41:47.000+0200}, title = {Converging CSP specifications and C++ programming via selective formalism.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs4.html#Gardner05}, volume = 4, year = 2005 }