Pages that link to "Item:Q5312992"

The following pages link to Algebraic Methodology and Software Technology (Q5312992):

Displaying 2 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)