Login / Signup

Generic Approach to Certified Static Checking of Module-like Constructs.

Julia Belyakova
Published in: FTfJP@ECOOP (2017)
Keyphrases
  • domain specific
  • verification method
  • bayesian networks
  • multiresolution
  • information extraction
  • high speed