Mark B. Trakhtenbrot. An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems. In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019. pages 110-115, IEEE, 2019. [doi]
Abstract is missing.