Proof Support for RAISE - by a Reuse Approach based on Institutions

Morten Peter Lindegaard; Anne Elisabeth Haxthausen

Proof Support for RAISE - by a Reuse Approach based on Institutions

Morten Peter Lindegaard, Anne Elisabeth Haxthausen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of AMAST'04
Publisher	Springer Verlag
Publication date	2004
Pages	319-333
Publication status	Published - 2004

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN	0302-9743

Access to Document

http://www.imm.dtu.dk/pubdb/p.php?3318

Cite this

Lindegaard, M. P., & Haxthausen, A. E. (2004). Proof Support for RAISE - by a Reuse Approach based on Institutions. In Proceedings of AMAST'04 (pp. 319-333). Springer Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) http://www.imm.dtu.dk/pubdb/p.php?3318

@inproceedings{3a35dd3c44c74ee682dadc7220b30761,

title = "Proof Support for RAISE - by a Reuse Approach based on Institutions",

author = "Lindegaard, {Morten Peter} and Haxthausen, {Anne Elisabeth}",

year = "2004",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "319--333",

booktitle = "Proceedings of AMAST'04",

address = "Germany",

}

Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.

Proceedings of AMAST'04. Springer Verlag, 2004. p. 319-333 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Proof Support for RAISE - by a Reuse Approach based on Institutions

AU - Lindegaard, Morten Peter

AU - Haxthausen, Anne Elisabeth

PY - 2004

Y1 - 2004

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 319

EP - 333

BT - Proceedings of AMAST'04

PB - Springer Verlag

ER -