TY  - SER
AU  - Strom, Robert E,
AU  - Yeliln, Daniel M.
TI  - Extending Typestate Checking Using Conditional liveness Analysis
KW  - Conditioning
KW  - Dataflow Analysis
KW  - Program Correctness
ER  -