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

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, Ivana Černá
June 2016
PDF Cite
Type
Conference paper
Publication
In Software Engineering and Formal Methods - 14th International Conference
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead