Combining Static and Dynamic Contract Checking for Curry.

Published in: CoRR (2017)

Keyphrases

supply chain
databases
revenue sharing
three dimensional
multiscale
multi agent systems
user interface
multiresolution
combining multiple