%0 Conference Paper %1 conf/sac/Silva-Lepe94 %A Silva-Lepe, Ignacio %B SAC %D 1994 %E Berghel, Hal %E Hlengl, Terry %E Urban, Joseph E. %I ACM %K dblp %P 447-451 %T Abstracting graph-based specifications of object-oriented programs. %U http://dblp.uni-trier.de/db/conf/sac/sac1994.html#Silva-Lepe94 %@ 0-89791-647-6

@inproceedings{conf/sac/Silva-Lepe94, added-at = {2018-11-06T00:00:00.000+0100}, author = {Silva-Lepe, Ignacio}, biburl = {https://www.bibsonomy.org/bibtex/2877be0e508a2463a495c8f7d248b3a0f/dblp}, booktitle = {SAC}, crossref = {conf/sac/1994}, editor = {Berghel, Hal and Hlengl, Terry and Urban, Joseph E.}, ee = {https://doi.org/10.1145/326619.326806}, interhash = {c9fd65e6d23c6d661b46a61692bb9c94}, intrahash = {877be0e508a2463a495c8f7d248b3a0f}, isbn = {0-89791-647-6}, keywords = {dblp}, pages = {447-451}, publisher = {ACM}, timestamp = {2018-11-07T13:13:32.000+0100}, title = {Abstracting graph-based specifications of object-oriented programs.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac1994.html#Silva-Lepe94}, year = 1994 }