%0 Journal Article %1 journals/sigart/0001M85 %A Chandrasekaran, B. %A Milne, Rob %D 1985 %J SIGART Newsl. %K dblp %P 4-55 %T Reasoning about structure, behavior and function. %U http://dblp.uni-trier.de/db/journals/sigart/sigartn93.html#0001M85 %V 93

@article{journals/sigart/0001M85, added-at = {2020-05-19T00:00:00.000+0200}, author = {Chandrasekaran, B. and Milne, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2e2c78eb5ce3433e541a564c9b1c33217/dblp}, ee = {https://doi.org/10.1145/1056557.1056561}, interhash = {e41a64880fc7e1636c3c2614a18a8415}, intrahash = {e2c78eb5ce3433e541a564c9b1c33217}, journal = {SIGART Newsl.}, keywords = {dblp}, pages = {4-55}, timestamp = {2020-05-20T11:40:31.000+0200}, title = {Reasoning about structure, behavior and function.}, url = {http://dblp.uni-trier.de/db/journals/sigart/sigartn93.html#0001M85}, volume = 93, year = 1985 }