The following pages link to CoFI (Q14336):
Displayed 39 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Using La\TeX\ as a semantic markup format (Q841688) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Pinnacles of software engineering: 25 years of formal methods (Q1859528) (← links)
- CASL reference manual. The complete documentation of the common algebraic specification language. (Q1881752) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- (Q2702602) (← links)
- (Q2703695) (← links)
- (Q2722019) (← links)
- (Q2722020) (← links)
- (Q2722024) (← links)
- (Q2722032) (← links)
- (Q2723910) (← links)
- (Q2729903) (← links)
- (Q2767179) (← links)
- (Q3043828) (← links)
- (Q3045451) (← links)
- (Q3045455) (← links)
- Verifying Concurrent Systems with Symbolic Execution (Q3146300) (← links)
- (Q3839053) (← links)
- (Q4255593) (← links)
- (Q4373553) (← links)
- (Q4471721) (← links)
- (Q4471726) (← links)
- (Q4471938) (← links)
- (Q4524764) (← links)
- (Q4680193) (← links)
- (Q4738235) (← links)
- (Q4941923) (← links)
- (Q4941934) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Mechanizing Mathematical Reasoning (Q5717451) (← links)
- Mechanizing Mathematical Reasoning (Q5717453) (← links)