Reasoning About Property Preservation in Adaptive Case Management

WP Number: 484
Author(s): H. Eshuis, R. Hull, M. Yi
Year: 2015

Download this publication