Keyword: "CASL semantics proof strcutred specification architectural" - A Web Based Annotated Bibliography - Aigaion 2.0

BROWSE
EXPORT
- Export all publications
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

Till Mossakowski, Anne Haxthausen, Don Sannella and Andrzej Tarlecki, CASL, the Common Algebraic Specification Language, in: Logics of formal specification languages, pages 241-298, Springer-Verlag Heidelberg, 2008

download

[DOI]

processing time: 0.0436 seconds.