Login / Signup

Making PVS do what you want.

Myla Archer
Published in: MEMOCODE (2005)
Keyphrases
  • theorem proving
  • artificial intelligence
  • timed automata
  • data management