%0 Journal Article %1 journals/mam/GarbettPSA99 %A Garbett, P. %A Parkes, J. P. %A Shackleton, Mike %A Anderson, Stuart %D 1999 %J Microprocess. Microsystems %K dblp %N 7 %P 417-424 %T A case study in innovative process improvement: code synthesis from formal specifications. %U http://dblp.uni-trier.de/db/journals/mam/mam23.html#GarbettPSA99 %V 23

@article{journals/mam/GarbettPSA99, added-at = {2023-08-06T00:00:00.000+0200}, author = {Garbett, P. and Parkes, J. P. and Shackleton, Mike and Anderson, Stuart}, biburl = {https://www.bibsonomy.org/bibtex/2ffd36902a82b90fd64d28e01e71ef398/dblp}, ee = {https://doi.org/10.1016/S0141-9331(99)00052-6}, interhash = {1dc1643b5471bbda0d111a84cda5266f}, intrahash = {ffd36902a82b90fd64d28e01e71ef398}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 7, pages = {417-424}, timestamp = {2024-04-08T19:08:19.000+0200}, title = {A case study in innovative process improvement: code synthesis from formal specifications.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam23.html#GarbettPSA99}, volume = 23, year = 1999 }