Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

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