Online Enumeration of All Minimal Inductive Validity Cores

Publication
In Software Engineering and Formal Methods - 16th International Conference
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher