Abstract Model Repair

Author
Year of Publication

2015
Journal

Logical Methods in Computer Science
Volume

3:11
Download citation