%0 Book Section %1 stark85proof %A Stark, Eugene %B Foundations of Software Technology and Theoretical Computer Science %D 1985 %E Maheshwari, S. %I Springer Berlin / Heidelberg %K assume guarantee proof %P 369-391 %T A proof technique for rely/guarantee properties %U http://dx.doi.org/10.1007/3-540-16042-6_21 %V 206 %@ 978-3-540-16042-7

@incollection{stark85proof, added-at = {2012-01-13T00:45:58.000+0100}, affiliation = {State University of New York at Stony Brook Department of Computer Science 11794-4400 Stony Brook New York USA 11794-4400 Stony Brook New York USA}, author = {Stark, Eugene}, biburl = {https://www.bibsonomy.org/bibtex/208b87df6e6aa40864da0bf740e8a924c/alessandropinto}, booktitle = {Foundations of Software Technology and Theoretical Computer Science}, editor = {Maheshwari, S.}, groups = {public}, interhash = {f9e252caae7640cde009871c0371def9}, intrahash = {08b87df6e6aa40864da0bf740e8a924c}, isbn = {978-3-540-16042-7}, keyword = {Computer Science}, keywords = {assume guarantee proof}, pages = {369-391}, publisher = {Springer Berlin / Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2012-01-13T00:45:58.000+0100}, title = {A proof technique for rely/guarantee properties}, url = {http://dx.doi.org/10.1007/3-540-16042-6_21}, username = {pbrada}, volume = 206, year = 1985 }