%0 Conference Paper %1 Yorsh05automaticassume/guarantee %A Yorsh, Greta %A Skidanov, Alexey %A Reps, Thomas %A Sagiv, Mooly %B 1st AIOOL Workshop %D 2005 %K assume automatic guarantee heapmanupilating reasoning %T Automatic assume/guarantee reasoning for heapmanupilating programs

@inproceedings{Yorsh05automaticassume/guarantee, added-at = {2012-01-24T11:00:04.000+0100}, author = {Yorsh, Greta and Skidanov, Alexey and Reps, Thomas and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2fd0513adab4f0991dd767aa6e7f79cc5/sgbmyr}, booktitle = {1st AIOOL Workshop}, interhash = {03a73ea11edeb16a7f82929f9d7fe708}, intrahash = {fd0513adab4f0991dd767aa6e7f79cc5}, keywords = {assume automatic guarantee heapmanupilating reasoning}, timestamp = {2012-01-24T11:00:04.000+0100}, title = {Automatic assume/guarantee reasoning for heapmanupilating programs}, year = 2005 }