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