Login / Signup
A Temporal-Logic Approach to Binding-Time Analysis.
Rowan Davies
Published in:
LICS (1996)
Keyphrases
</>
temporal logic
model checking
modal logic