%0 Journal Article %1 journals/tse/StromY93 %A Strom, Robert E. %A Yellin, Daniel M. %D 1993 %J IEEE Trans. Software Eng. %K dblp %N 5 %P 478-485 %T Extending Typestate Checking Using Conditional Liveness Analysis. %U http://dblp.uni-trier.de/db/journals/tse/tse19.html#StromY93 %V 19

@article{journals/tse/StromY93, added-at = {2022-08-16T00:00:00.000+0200}, author = {Strom, Robert E. and Yellin, Daniel M.}, biburl = {https://www.bibsonomy.org/bibtex/2828a1e4af3e1e1b29f8431b09ae7b597/dblp}, ee = {https://www.wikidata.org/entity/Q111900053}, interhash = {08744a8be03eeb90f7224f011ef0e457}, intrahash = {828a1e4af3e1e1b29f8431b09ae7b597}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 5, pages = {478-485}, timestamp = {2024-04-08T21:08:45.000+0200}, title = {Extending Typestate Checking Using Conditional Liveness Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse19.html#StromY93}, volume = 19, year = 1993 }