Login / Signup
Generic Approach to Certified Static Checking of Module-like Constructs.
Julia Belyakova
Published in:
CoRR (2017)
Keyphrases
</>
domain specific
database
multimedia
similarity measure
real time
image segmentation
database systems
optimal solution
learning environment
query language
application specific
verification method