Pages that link to "Item:Q674008"

The following pages link to On using temporal logic for refinement and compositional verification of concurrent systems (Q674008):

Displaying 1 item.

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