Enriching OSGi Service Interfaces with Formal Sequential Contracts (bibtex)
by Müller, Marco, Balz, Moritz and Goedicke, Michael
Reference:
Enriching OSGi Service Interfaces with Formal Sequential Contracts (Müller, Marco, Balz, Moritz and Goedicke, Michael), In Software Engineering (Workshops), 2011.
Bibtex Entry:
@inproceedings{DBLP:conf/se/MullerBG11,
author = {M{\"{u}}ller, Marco and Balz, Moritz and Goedicke, Michael},
booktitle = {Software Engineering (Workshops)},
keywords = {226,advert_pw},
mendeley-tags = {advert_pw},
pages = {41--46},
title = {{Enriching OSGi Service Interfaces with Formal Sequential Contracts}},
year = {2011}
}
Powered by bibtexbrowser