Back to Results
First PageMeta Content



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

Document Date: 2008-09-26 09:50:07


Open Document

File Size: 450,45 KB

Share Result on Facebook