Pages that link to "Item:Q1215264"

The following pages link to Proving assertions about parallel programs (Q1215264):

Displaying 2 items.

• A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)