CASL, the Common Algebraic Specification  Language: Semantics and Proof Theory

Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki

Research output: Contribution to journal › Journal article › Research › peer-review

Access to Document

@article{cc1aa285ac414d78b63e486c88023944,

title = "CASL, the Common Algebraic Specification Language: Semantics and Proof Theory",

author = "Till Mossakowski and Haxthausen, {Anne Elisabeth} and Donald Sannella and Andrzej Tarlecki",

year = "2003",

language = "English",

volume = "22",

pages = "285--322",

journal = "Computing and Informatics",

issn = "1335-9150",

publisher = "Nakladatel'stvoS T U",

number = "3-4",

}