CoFI
From MaRDI portal
Cited in
(52)- scientific article; zbMATH DE number 1630100 (Why is no real title available?)
- ASF+SDF parsing tools applied to ELAN
- scientific article; zbMATH DE number 1617298 (Why is no real title available?)
- scientific article; zbMATH DE number 2087440 (Why is no real title available?)
- scientific article; zbMATH DE number 1696893 (Why is no real title available?)
- Generation of abstract programming interfaces from syntax definitions
- scientific article; zbMATH DE number 2172806 (Why is no real title available?)
- scientific article; zbMATH DE number 2084345 (Why is no real title available?)
- scientific article; zbMATH DE number 1552508 (Why is no real title available?)
- Generalized interpolation in CASL
- Theorem proving in large theories
- scientific article; zbMATH DE number 2088751 (Why is no real title available?)
- HasCasl: integrated higher-order specification and program development
- Logical systems for structured specifications.
- scientific article; zbMATH DE number 1617294 (Why is no real title available?)
- scientific article; zbMATH DE number 1617295 (Why is no real title available?)
- scientific article; zbMATH DE number 1615248 (Why is no real title available?)
- scientific article; zbMATH DE number 1418360 (Why is no real title available?)
- scientific article; zbMATH DE number 1418371 (Why is no real title available?)
- CASL reference manual. The complete documentation of the common algebraic specification language.
- A formally grounded software specification method
- scientific article; zbMATH DE number 2079674 (Why is no real title available?)
- Verifying Concurrent Systems with Symbolic Execution
- Pinnacles of software engineering: 25 years of formal methods
- scientific article; zbMATH DE number 1107619 (Why is no real title available?)
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- CASL
- ATERM
- MAYA
- scientific article; zbMATH DE number 1617305 (Why is no real title available?)
- UniForM
- ASF+SDF
- arXMLiv
- CafeInMaude
- Hermes
- 3TAP
- CITP
- CPoint
- keyval
- Castor
- scientific article; zbMATH DE number 2088754 (Why is no real title available?)
- A Maude environment for CafeOBJ
- scientific article; zbMATH DE number 2079831 (Why is no real title available?)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Mechanizing Mathematical Reasoning
- Using La\TeX\ as a semantic markup format
- Mechanizing Mathematical Reasoning
- scientific article; zbMATH DE number 1189280 (Why is no real title available?)
- CASL: the Common Algebraic Specification Language.
- scientific article; zbMATH DE number 2079679 (Why is no real title available?)
- Proof systems for structured algebraic specifications: An overview
- Relating CASL with other specification languages: the institution level.
This page was built for software: CoFI
