%0 Conference Paper %1 conf/codes/TripakisAGLRWYKW11 %A Tripakis, Stavros %A Andrade, Hugo A. %A Ghosal, Arkadeb %A Limaye, Rhishikesh %A Ravindran, Kaushik %A Wang, Guoqiang %A Yang, Guang %A Kornerup, Jacob %A Wong, Ian C. %B CODES+ISSS %D 2011 %E Dick, Robert P. %E Madsen, Jan %I ACM %K %P 59-68 %T Correct and non-defensive glue design using abstract models. %U http://dblp.uni-trier.de/db/conf/codes/codes2011.html#TripakisAGLRWYKW11 %@ 978-1-4503-0715-4

@inproceedings{conf/codes/TripakisAGLRWYKW11, added-at = {2023-12-13T05:28:27.000+0100}, author = {Tripakis, Stavros and Andrade, Hugo A. and Ghosal, Arkadeb and Limaye, Rhishikesh and Ravindran, Kaushik and Wang, Guoqiang and Yang, Guang and Kornerup, Jacob and Wong, Ian C.}, biburl = {https://www.bibsonomy.org/bibtex/24d218e7bf711f0e08cbe6038a233428e/admin}, booktitle = {CODES+ISSS}, crossref = {conf/codes/2011}, editor = {Dick, Robert P. and Madsen, Jan}, ee = {https://doi.org/10.1145/2039370.2039382}, interhash = {a2eec1e59048b7b288d518137824f336}, intrahash = {4d218e7bf711f0e08cbe6038a233428e}, isbn = {978-1-4503-0715-4}, keywords = {}, pages = {59-68}, publisher = {ACM}, timestamp = {2023-12-13T05:28:27.000+0100}, title = {Correct and non-defensive glue design using abstract models.}, url = {http://dblp.uni-trier.de/db/conf/codes/codes2011.html#TripakisAGLRWYKW11}, year = 2011 }