%0 Journal Article %1 journals/sttt/AndersenEHSS06 %A Andersen, Jesper %A Elsborg, Ebbe %A Henglein, Fritz %A Simonsen, Jakob Grue %A Stefansen, Christian %D 2006 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 6 %P 485-516 %T Compositional specification of commercial contracts. %U http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#AndersenEHSS06 %V 8

@article{journals/sttt/AndersenEHSS06, added-at = {2020-04-02T00:00:00.000+0200}, author = {Andersen, Jesper and Elsborg, Ebbe and Henglein, Fritz and Simonsen, Jakob Grue and Stefansen, Christian}, biburl = {https://www.bibsonomy.org/bibtex/297002dad3a2558c17b585defb43135e4/dblp}, ee = {https://doi.org/10.1007/s10009-006-0010-1}, interhash = {f18b289ee1fb26ec72df13a5e9da1bf8}, intrahash = {97002dad3a2558c17b585defb43135e4}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 6, pages = {485-516}, timestamp = {2020-04-03T11:54:30.000+0200}, title = {Compositional specification of commercial contracts.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#AndersenEHSS06}, volume = 8, year = 2006 }