Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5313002
DOI10.1007/b98770zbMath1108.68414OpenAlexW2973096144MaRDI QIDQ5313002
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98770
Related Items (9)
Automated flaw detection in algebraic specifications ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ A program logic for resources ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Interleaving Symbolic Execution and Partial Evaluation ⋮ Dynamic Frames in Java Dynamic Logic ⋮ Bounded Relational Analysis of Free Data Types ⋮ Verification of Java Programs with Generics ⋮ Flashix: modular verification of a concurrent and crash-safe flash file system
Uses Software
This page was built for publication: Algebraic Methodology and Software Technology
