Login / Signup

Before and after vacuity.

Hana ChocklerOfer Strichman
Published in: Formal Methods Syst. Des. (2009)
Keyphrases
  • model checking
  • temporal logic