Pages that link to "Item:Q5458322"

The following pages link to On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322):

Displaying 4 items.

• Leafy automata for higher-order concurrency (Q2233404) (← links)
• Game Semantics for Access Control (Q2805155) (← links)
• Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
• On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)