Pages that link to "Item:Q5096396"

The following pages link to Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396):

Displaying 2 items.

• Modular verification of multithreaded programs (Q557795) (← links)
• A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)