Back to Results
First PageMeta Content
Program analysis / Typestate analysis


Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016
Add to Reading List

Document Date: 2016-10-13 07:25:34

Open Document

File Size: 357,05 KB

Share Result on Facebook
UPDATE