%0 Conference Paper %1 conf/amast/HealyW00 %A Healy, Michael %A Williamson, Keith E. %B AMAST %D 2000 %E Rus, Teodor %I Springer %K dblp %P 484-498 %T Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. %U http://dblp.uni-trier.de/db/conf/amast/amast2000.html#HealyW00 %V 1816 %@ 3-540-67530-2

@inproceedings{conf/amast/HealyW00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Healy, Michael and Williamson, Keith E.}, biburl = {https://www.bibsonomy.org/bibtex/2caa2f9a89d1a3bafbab6c37aea23ce04/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2000}, editor = {Rus, Teodor}, ee = {https://doi.org/10.1007/3-540-45499-3_34}, interhash = {41ea497fc125e3dc30beaf195f03bcfe}, intrahash = {caa2f9a89d1a3bafbab6c37aea23ce04}, isbn = {3-540-67530-2}, keywords = {dblp}, pages = {484-498}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:24:58.000+0200}, title = {Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2000.html#HealyW00}, volume = 1816, year = 2000 }