A Verified Prover Based on Ordered Resolution
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Titel | CPP 2019 |
| Redaktører | Assia Mahboubi, Magnus O. Myreen |
| Antal sider | 14 |
| Forlag | ACM |
| Publikationsdato | 2019 |
| Sider | 152-165 |
| DOI | |
| Status | Udgivet - 2019 |
| Eksternt udgivet | Ja |
ID: 245668122