Searching for "Generalized typestate checking using set interfaces and pluggable analyses." – sorted by Relevance.
-
Generalized typestate checking using set interfaces and pluggable analyses
- Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses Patrick Lam, Viktor
- Cited by 18 (10 self) – Add To MetaCart

