Pages that link to "Item:Q4120115"

The following pages link to Proving the Correctness of Multiprocess Programs (Q4120115):

Displaying 3 items.

• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)
• Bounded variability of metric temporal logic (Q2408743) (← links)