Enhancing conformance checking for contract-based programs.

Alysson Milanez Tiago Massoni Rohit Gheyi

Published in: SPLASH (Companion Volume) (2014)

Keyphrases

supply chain
neural network
computer vision
computer programs
intermediate level
moral hazard