Compositional Contract Specification for REA
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Invited contribution
| Originalsprog | Engelsk |
|---|---|
| Titel | NWPT '07/FLACOS' 07 : workshop proceedings, October 9-12, 2007.Oslo, Norway |
| Redaktører | Einar Broch Johnsen, Olaf Owe, Gerardo Schneider |
| Forlag | Universitetet i Oslo |
| Publikationsdato | 2007 |
| Sider | 130-132 |
| ISBN (Trykt) | 8273683249 |
| Status | Udgivet - 2007 |
| Begivenhed | Workshop on Formal Languages and Analysis of Contract-Oriented Software - Oslo, Norge Varighed: 9 okt. 2007 → 10 okt. 2007 Konferencens nummer: 1 |
Konference
| Konference | Workshop on Formal Languages and Analysis of Contract-Oriented Software |
|---|---|
| Nummer | 1 |
| Land | Norge |
| By | Oslo |
| Periode | 09/10/2007 → 10/10/2007 |
| Navn | Research report. Universitetet i Oslo. Institutt for informatikk |
|---|---|
| Nummer | 366 |
| ISSN | 0806-3036 |
ID: 3532101