First Page | Document Content | |
---|---|---|
Date: 2016-10-13 07:25:34Program analysis Typestate analysis | Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016Add to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source WebsiteFile Size: 357,05 KBShare Document on Facebook |