| Originalsprog | Engelsk |
|---|---|
| Titel | Program Verification |
| Udgivelsessted | Dordrecht, Netherlands |
| Forlag | Kluwer Academic Publishers |
| Publikationsdato | 1993 |
| Sider | 57-64 |
| Status | Udgivet - 1993 |
Proof of algorithms by general snapshots
Peter Naur
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning