Login / Signup

Notes from the Logbook of a Proof-Checker's Project.

Domenico CantoneEugenio G. OmodeoJacob T. SchwartzPietro Ursino
Published in: Verification: Theory and Practice (2003)
Keyphrases
  • theorem proving
  • project management
  • software development
  • european project
  • future plans
  • social networks
  • information systems
  • metadata
  • case study
  • data collection
  • european union
  • eu funded