P. Katsaros

First name

P.

Last name

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