Pages that link to "Item:Q5962972"

The following pages link to Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) (Q5962972):

Displaying 2 items.

• Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
• Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)