Risultati della ricerca - Cramer, Marcos

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report di Cramer, Marcos, Friese, Tom

Testo

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK di Cramer, Marcos, McIntyre, Lucian

Testo