%0 Journal Article %1 journals/logcom/Dennis0W18 %A Dennis, Louise A. %A Fisher, Michael %A Webster, Matt %D 2018 %J J. Log. Comput. %K dblp %N 3 %P 499-523 %T Two-stage agent program verification. %U http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#Dennis0W18 %V 28

@article{journals/logcom/Dennis0W18, added-at = {2020-12-25T00:00:00.000+0100}, author = {Dennis, Louise A. and Fisher, Michael and Webster, Matt}, biburl = {https://www.bibsonomy.org/bibtex/2524188edce96b20808150a8cee60bd1c/dblp}, ee = {https://www.wikidata.org/entity/Q98283410}, interhash = {2b25190b4b5c512823c3ac175e67e337}, intrahash = {524188edce96b20808150a8cee60bd1c}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 3, pages = {499-523}, timestamp = {2024-04-09T05:12:46.000+0200}, title = {Two-stage agent program verification.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom28.html#Dennis0W18}, volume = 28, year = 2018 }