Complete contracts through specification drivers.

Alexandr Naumchev Bertrand Meyer

Published in: CoRR (2016)

Keyphrases

data sets
databases
computer vision
decision trees
artificial intelligence
supply chain
key factors
provably correct
search engine