F. Henglein, K. Larsen, J. Simonsen, and C. Stefansen. Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10, (2007)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 henglein2007compositional
%A Henglein, Fritz
%A Larsen, Ken Friis
%A Simonsen, Jakob Grue
%A Stefansen, Christian
%B Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10
%D 2007
%K 3gerp REA contracts language
%T Compositional contract specification for REA
%U http://3gerp.iwvi.uni-koblenz.de/docs/henglein2007.pdf
@inproceedings{henglein2007compositional,
added-at = {2010-03-18T15:19:37.000+0100},
author = {Henglein, Fritz and Larsen, Ken Friis and Simonsen, Jakob Grue and Stefansen, Christian},
biburl = {https://www.bibsonomy.org/bibtex/2fde4f73b68adb3c29452835561625be1/3gerp},
booktitle = {Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10},
interhash = {3992664fd18d04d8bb190ae25f883fdc},
intrahash = {fde4f73b68adb3c29452835561625be1},
keywords = {3gerp REA contracts language},
timestamp = {2010-03-18T15:19:37.000+0100},
title = {Compositional contract specification for REA},
url = {http://3gerp.iwvi.uni-koblenz.de/docs/henglein2007.pdf},
year = 2007
}
