Yatkın, S., & Ovatman, T. (2024). Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver.
Chicago Style (17th ed.) CitationYatkın, Simge, and Tolga Ovatman. Logical Analysis and Contradiction Detection in High-level Requirements During the Review Process Using Sat-solver. 2024.
MLA (9th ed.) CitationYatkın, Simge, and Tolga Ovatman. Logical Analysis and Contradiction Detection in High-level Requirements During the Review Process Using Sat-solver. 2024.
Warning: These citations may not always be 100% accurate.