Alysson Milanez, Tiago Massoni, Rohit Gheyi. Enhancing conformance checking for contract-based programs. In Andrew P. Black, editor, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '14, Portland, OR, USA, October 20-24, 2014 - Companion Volume. pages 57-58, ACM, 2014. [doi]
Abstract is missing.