| Semantic Analysis of Assurance Cases using s(CASP) | |
|---|---|
Semantic Analysis of Assurance Cases using s(CASP) |
|
| Author | |
| Year of Publication |
2023
|
| Conference Name |
Goal Directed Execution of Answer Set Programs (GDE) Workshop in International Conference on Logic Programming (ICLP)
|
| Google Scholar | BibTeX | |
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.