%0 Journal Article %1 journals/tse/StromY86 %A Strom, Robert E. %A Yemini, Shaula %D 1986 %J IEEE Trans. Software Eng. %K dblp %N 1 %P 157-171 %T Typestate: A Programming Language Concept for Enhancing Software Reliability. %U http://dblp.uni-trier.de/db/journals/tse/tse12.html#StromY86 %V 12

@article{journals/tse/StromY86, added-at = {2015-12-10T00:00:00.000+0100}, author = {Strom, Robert E. and Yemini, Shaula}, biburl = {https://www.bibsonomy.org/bibtex/22657e3a440a998d261c591345a80e615/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312929}, interhash = {5223ef8a6ecb6cc01ea778f34cb2e10b}, intrahash = {2657e3a440a998d261c591345a80e615}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 1, pages = {157-171}, timestamp = {2015-12-12T11:44:41.000+0100}, title = {Typestate: A Programming Language Concept for Enhancing Software Reliability.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse12.html#StromY86}, volume = 12, year = 1986 }