Login / Signup

A Temporal-Logic Approach to Binding-Time Analysis.

Rowan Davies
Published in: LICS (1996)
Keyphrases
  • temporal logic
  • model checking
  • modal logic