Compositional Contract Specification for REA
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Invited contribution
| Original language | English |
|---|---|
| Title of host publication | NWPT '07/FLACOS' 07 : workshop proceedings, October 9-12, 2007.Oslo, Norway |
| Editors | Einar Broch Johnsen, Olaf Owe, Gerardo Schneider |
| Publisher | Universitetet i Oslo |
| Publication date | 2007 |
| Pages | 130-132 |
| ISBN (Print) | 8273683249 |
| Publication status | Published - 2007 |
| Event | Workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo, Norway Duration: 9 Oct 2007 → 10 Oct 2007 Conference number: 1 |
Conference
| Conference | Workshop on Formal Languages and Analysis of Contract-Oriented Software |
|---|---|
| Nummer | 1 |
| Land | Norway |
| By | Oslo |
| Periode | 09/10/2007 → 10/10/2007 |
| Series | Research report. Universitetet i Oslo. Institutt for informatikk |
|---|---|
| Number | 366 |
| ISSN | 0806-3036 |
ID: 3532101