Pages that link to "Item:Q5313002"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5313002):
Displaying 14 items.
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Operational semantics of the Java Card Virtual Machine (Q1881664) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- A program logic for resources (Q2463560) (← links)
- Correctness of Java Card method lookup via logical relations (Q2729052) (← links)
- Ensuring the correctness of lightweight tactics for JavaCard dynamic logic (Q2871841) (← links)
- Interleaving Symbolic Execution and Partial Evaluation (Q3066122) (← links)
- Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
- Automating Algebraic Specifications of Non-freely Generated Data Types (Q3540070) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
- Fundamental Approaches to Software Engineering (Q5316441) (← links)
- Bounded Relational Analysis of Free Data Types (Q5458813) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)