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

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2004

View graph of relations

Original languageEnglish
Title of host publicationProceedings of AMAST'04
PublisherSpringer-Verlag
Publication date2004
Pages319-333
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 2756912