Login / Signup
An Approach for Proving the Correctness of Inspector/Executor Transformations.
Michael Norrish
Michelle Mills Strout
Published in:
LCPC (2014)
Keyphrases
</>
data mining
wide range
preprocessing
website
database systems
multiresolution