You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).
Leonardi.DB
a logical geometry project
Tu-Anh Fay
Tu-Anh Fay authored the following 1 source, containing a total of 1 diagram.
Gärtner, Alexander Elenga, Tu-Anh Fay, and Dietmar Göhlich. 2022. “Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach.” Applied Sciences 12: 1–16. (1 diagram)
