Pages that link to "Item:Q4536630"

The following pages link to (Q4536630):

Displaying 5 items.

• Program verification using symbolic game semantics (Q477213) (← links)
• A succinct canonical register automaton model (Q478388) (← links)
• A Semantic Condition for Data Independence and Applications in Hardware Verification (Q2810970) (← links)
• (Q5875386) (← links)
• Church synthesis on register automata over linearly ordered data domains (Q6151760) (← links)