Pages that link to "Item:Q3617715"

The following pages link to A Basis for Verifying Multi-threaded Programs (Q3617715):

Displaying 2 items.

• Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
• The dynamic frames theory (Q539422) (← links)