Lam, PatrickKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-21200510.1007/978-3-540-30579-8_28https://infoscience.epfl.ch/handle/20.500.14299/10392Generalized Typestate Checking for Data Structure Consistencytext::conference output::conference proceedings::conference paper