| Originalspråk | Engelska |
|---|---|
| Titel på värdpublikation | Proceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93) |
| Utgivningsort | Turku, Finland |
| Sidor | 161-172 |
| Status | Publicerad - 1994 |
| MoE-publikationstyp | B3 Ej refererad artikel i konferenshandlingar |
Citera det här
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver