%0 Journal Article %1 strom1993a %A Strom, R. E. %A Yellin, D. M. %D 1993 %J IEEE Transactions on Software Engineering %K imported %N 5 %P 478--485 %T Extending Typestate Checking Using Conditional Liveness Analysis %V 19

@article{strom1993a, added-at = {2006-03-09T08:15:35.000+0100}, author = {Strom, R. E. and Yellin, D. M.}, biburl = {https://www.bibsonomy.org/bibtex/23ace2486b2569054f74cc6ebcc00702e/snowball}, interhash = {08744a8be03eeb90f7224f011ef0e457}, intrahash = {3ace2486b2569054f74cc6ebcc00702e}, journal = {IEEE Transactions on Software Engineering}, key = {Strom \&{} Yellin}, keywords = {imported}, location = {CMU E \&{} S Library}, month = May, number = 5, pages = {478--485}, timestamp = {2006-03-09T08:15:35.000+0100}, title = {Extending Typestate Checking Using Conditional Liveness Analysis}, volume = 19, year = 1993 }