Sign in

Program Calculation in Coq.

Julien TessonHideki HashimotoZhenjiang HuFrédéric LoulergueMasato Takeichi
Published in: AMAST (2010)
Keyphrases
  • computer programs
  • formal methods
  • search engine
  • social networks
  • knowledge base
  • three dimensional
  • face recognition
  • multi agent systems
  • digital libraries
  • data model
  • test cases
  • program execution
  • control program