%0 Journal Article %1 journals/fac/EleftherakisBH15 %A Eleftherakis, George %A Butler, Michael J. %A Hinchey, Mike %D 2015 %J Formal Asp. Comput. %K %N 3 %P 473 %T Editorial. %U http://dblp.uni-trier.de/db/journals/fac/fac27.html#EleftherakisBH15 %V 27

@article{journals/fac/EleftherakisBH15, added-at = {2023-12-12T23:27:04.000+0100}, author = {Eleftherakis, George and Butler, Michael J. and Hinchey, Mike}, biburl = {https://www.bibsonomy.org/bibtex/24ab0cc6e21e5e0938d97d881edbe95bb/admin}, ee = {https://www.wikidata.org/entity/Q59625807}, interhash = {55f665f181ce1012a9f61d4d4c4bd5a7}, intrahash = {4ab0cc6e21e5e0938d97d881edbe95bb}, journal = {Formal Asp. Comput.}, keywords = {}, number = 3, pages = 473, timestamp = {2023-12-12T23:27:04.000+0100}, title = {Editorial.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac27.html#EleftherakisBH15}, volume = 27, year = 2015 }