%0 Conference Paper %1 conf/iccbss/McKegneyS03 %A McKegney, Ross %A Shepard, Terry %B ICCBSS %D 2003 %E Erdogmus, M. Hakan %E Weng, Tao %I Springer %K dblp %P 143-156 %T Techniques for Embedding Executable Specifications in Software Component Interfaces. %U http://dblp.uni-trier.de/db/conf/iccbss/iccbss2003.html#McKegneyS03 %V 2580 %@ 3-540-00562-5

@inproceedings{conf/iccbss/McKegneyS03, added-at = {2017-05-19T00:00:00.000+0200}, author = {McKegney, Ross and Shepard, Terry}, biburl = {https://www.bibsonomy.org/bibtex/2c305c97223b2aa36b81b360f822f3bab/dblp}, booktitle = {ICCBSS}, crossref = {conf/iccbss/2003}, editor = {Erdogmus, M. Hakan and Weng, Tao}, ee = {https://doi.org/10.1007/3-540-36465-X_14}, interhash = {5d0ad36ddd1490523f8d59f821984e8a}, intrahash = {c305c97223b2aa36b81b360f822f3bab}, isbn = {3-540-00562-5}, keywords = {dblp}, pages = {143-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:34:18.000+0200}, title = {Techniques for Embedding Executable Specifications in Software Component Interfaces.}, url = {http://dblp.uni-trier.de/db/conf/iccbss/iccbss2003.html#McKegneyS03}, volume = 2580, year = 2003 }