Analyzing and Debugging Normative Requirements via Satisfiability Checking
| Image |  |
|---|---|
| Description | scientific article published on 12 April 2024 |
| Author/s |
author: Marsha Chechik Genaina Nunes Rodrigues Lina Marsso Nick Feng Sinem Getir Yaman Victoria Oldemburgo De Mello Reem Ayad Yesugen Baatartogtokh Calum Imrie Isobel Standen Ioannis Stefanakos Ana Cavalcanti Radu Calinescu Beverley A Townsend |
| Publication date | April 12, 2024 |
| Language | |
| Country of origin | |
| Wikipedia link | |
| Copyright status | |
| Missing/wrong data? | Edit Wikidata item |