@inproceedings{Reger2016,
author="Reger, Giles",
title="Considering Typestate Verification for Quantified Event Automata",
bookTitle="7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)",
year="2016",
pages="(accepted)"
}