A Type System for the Safe Instantiation of Components. Bezem, M. & Truong, H. Electr. Notes Theor. Comput. Sci. (ENTCS), 97:197-217, 2004. Paper bibtex @article{ dblp3642749,
title = {A Type System for the Safe Instantiation of Components},
author = {Marc Bezem and Hoang Truong},
author_short = {Bezem, M. and Truong, H.},
bibtype = {article},
type = {article},
year = {2004},
key = {dblp3642749},
id = {dblp3642749},
biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04},
url = {http://dx.doi.org/10.1016/j.entcs.2004.04.037},
journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},
pages = {197-217},
volume = {97},
text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)}
}
Downloads: 0
{"_id":"GCTGtjdnNM6twMho9","bibbaseid":"bezem-truong-atypesystemforthesafeinstantiationofcomponents-2004","downloads":0,"creationDate":"2015-06-12T22:13:32.128Z","title":"A Type System for the Safe Instantiation of Components","author_short":["Bezem, M.","Truong, H."],"year":2004,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04","bibdata":{"title":"A Type System for the Safe Instantiation of Components","author":["Marc Bezem","Hoang Truong"],"author_short":["Bezem, M.","Truong, H."],"bibtype":"article","type":"article","year":"2004","key":"dblp3642749","id":"dblp3642749","biburl":"http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04","url":"http://dx.doi.org/10.1016/j.entcs.2004.04.037","journal":"Electr. Notes Theor. Comput. Sci. (ENTCS)","pages":"197-217","volume":"97","text":"Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)","bibtex":"@article{ dblp3642749,\n title = {A Type System for the Safe Instantiation of Components},\n author = {Marc Bezem and Hoang Truong},\n author_short = {Bezem, M. and Truong, H.},\n bibtype = {article},\n type = {article},\n year = {2004},\n key = {dblp3642749},\n id = {dblp3642749},\n biburl = {http://www.dblp.org/rec/bibtex/journals/entcs/BezemT04},\n url = {http://dx.doi.org/10.1016/j.entcs.2004.04.037},\n journal = {Electr. Notes Theor. Comput. Sci. (ENTCS)},\n pages = {197-217},\n volume = {97},\n text = {Electr. Notes Theor. Comput. Sci. (ENTCS) 97:197-217 (2004)}\n}","bibbaseid":"bezem-truong-atypesystemforthesafeinstantiationofcomponents-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2004.04.037"},"downloads":0},"search_terms":["type","system","safe","instantiation","components","bezem","truong"],"keywords":[],"authorIDs":[],"dataSources":["ME2YkRy4nT6ptB83g"]}