Login / Signup

Equational Approach to Formal Verification of SET.

Kazuhiro OgataKokichi Futatsugi
Published in: QSIC (2004)
Keyphrases
  • formal verification
  • model checking
  • software development