B. Bonakdarpour

First name

B.

Last name

Bonakdarpour
Chatzieleftheriou, G., Bonakdarpour, B., Katsaros, P., & Smolka, S. A. (2015). Abstract Model Repair. Logical Methods In Computer Science, 3:11.