Login / Signup
A New Method of Verification of Functional Programs.
Andrew M. Mironov
Published in:
CoRR (2016)
Keyphrases
</>
preprocessing
data structure
distance function