AndersenEHSS04'

BibTeX

@inproceedings{DBLP:conf/isola/AndersenEHSS04,
  author    = {Jesper Andersen and
               Ebbe Elsborg and
               Fritz Henglein and
               Jakob Grue Simonsen and
               Christian Stefansen},
  title     = {Compositional Specification of Commercial Contracts},
  booktitle = {ISoLA (Preliminary proceedings)},
  year      = {2004},
  pages     = {103-110},
  crossref  = {DBLP:conf/isola/2004i},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isola/2004i,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {International Symposium on Leveraging Applications of Formal
               Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos,
               Cyprus. Preliminary proceedings},
  booktitle = {ISoLA (Preliminary proceedings)},
  publisher = {Department of Computer Science, University of Cyprus},
  series    = {Technical Report},
  volume    = {TR-2004-6},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}