![Program analysis / Typestate analysis Program analysis / Typestate analysis](https://www.pdfsearch.io/img/19fcfba8b5fa09979e974cd092bba187.jpg) 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 Website File Size: 357,05 KBShare Document on Facebook
|