Login / Signup

Result Certification of Static Program Analysers with Automated Theorem Provers.

Frédéric BessonPierre-Emmanuel CornilleauThomas P. Jensen
Published in: VSTTE (2013)
Keyphrases
  • databases
  • third party
  • dynamic analysis
  • database
  • data mining