Logiweb
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Logic, Proof Checker, Litterate Programming
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Electronic Notes in Theoretical Computer Science |
| Udgave nummer | 93 |
| Sider (fra-til) | 70-101 |
| Status | Udgivet - 2004 |
ID: 99820