Pages that link to "Item:Q5312992"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312992):
Displaying 4 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- (Q4411976) (← links)