Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan. StatVerif: Verification of stateful processes. Journal of Computer Security, 22(5):743-821, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.