Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan. StatVerif: Verification of stateful processes. Journal of Computer Security, 22(5):743-821, 2014. [doi]
@article{ArapinisPRR14, title = {StatVerif: Verification of stateful processes}, author = {Myrto Arapinis and Joshua Phillips and Eike Ritter and Mark Dermot Ryan}, year = {2014}, doi = {10.3233/JCS-140501}, url = {http://dx.doi.org/10.3233/JCS-140501}, researchr = {https://researchr.org/publication/ArapinisPRR14}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {22}, number = {5}, pages = {743-821}, }