@inproceedings{ conf/charme/MeloB95, added-at = {2011-06-23T00:00:00.000+0200}, author = {de Melo, Ana Cristina Vieira and Barringer, Howard}, biburl = {http://www.bibsonomy.org/bibtex/22d76acae6b483895483eb0a24831d71f/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1995}, editor = {Camurati, Paolo and Eveking, Hans}, ee = {http://dx.doi.org/10.1007/3-540-60385-9_8}, interhash = {cc4feb763111813f34f229ec7d2b4f52}, intrahash = {2d76acae6b483895483eb0a24831d71f}, isbn = {3-540-60385-9}, keywords = {dblp}, pages = {124-145}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {A foundation for formal reuse of hardware.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1995.html#MeloB95}, volume = {987}, year = {1995} }