CoFI

swMATH1631MaRDI QIDQ14336FDOQ14336

Author name not available (Why is that?)

Cited In (39)

• Generation of abstract programming interfaces from syntax definitions
• Pinnacles of software engineering: 25 years of formal methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof systems for structured algebraic specifications: An overview
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Verifying Concurrent Systems with Symbolic Execution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logical systems for structured specifications.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized interpolation in CASL
• Title not available (Why is that?)
• Title not available (Why is that?)
• CASL: the Common Algebraic Specification Language.
• ASF+SDF parsing tools applied to ELAN
• A formally grounded software specification method
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanizing Mathematical Reasoning
• Title not available (Why is that?)
• Mechanizing Mathematical Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• HasCasl: integrated higher-order specification and program development
• Using La\TeX\ as a semantic markup format
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relating CASL with other specification languages: the institution level.
• A Maude environment for CafeOBJ
• Title not available (Why is that?)
• Theorem proving in large theories
• CASL reference manual. The complete documentation of the common algebraic specification language.

This page was built for software: CoFI