Compositional Specification of Commercial Contracts Jesper Andersen, Ebbe Elsborg*, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen Department of Computer Science, University of Copenhagen (DIKU) Universitet

First Page		Document Content
Date: 2008-09-26 09:50:07		Compositional Specification of Commercial Contracts Jesper Andersen, Ebbe Elsborg*, Fritz Henglein, Jakob Grue Simonsen, and Christian Stefansen Department of Computer Science, University of Copenhagen (DIKU) Universitet Add to Reading List Source URL: www.diku.dk Download Document from Source Website File Size: 450,45 KB Share Document on Facebook