%0 Journal Article %1 journals/corr/CoutoFP14 %A Couto, Luís Diogo %A Foster, Simon %A Payne, Richard John %D 2014 %J CoRR %K %T Towards Verification of Constituent Systems through Automated Proof. %U http://dblp.uni-trier.de/db/journals/corr/corr1404.html#CoutoFP14 %V abs/1404.7792

@article{journals/corr/CoutoFP14, added-at = {2023-12-12T17:15:44.000+0100}, author = {Couto, Luís Diogo and Foster, Simon and Payne, Richard John}, biburl = {https://www.bibsonomy.org/bibtex/2943468c75acb48b19694d8f8bb5be77c/admin}, ee = {http://arxiv.org/abs/1404.7792}, interhash = {01180a073a579084cbead457ddc55dbe}, intrahash = {943468c75acb48b19694d8f8bb5be77c}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T17:15:44.000+0100}, title = {Towards Verification of Constituent Systems through Automated Proof.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1404.html#CoutoFP14}, volume = {abs/1404.7792}, year = 2014 }