| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Proceedings of the 5th Nordic Workshop on Program Correctness (NWPC'93) |
| Julkaisupaikka | Turku, Finland |
| Sivut | 161-172 |
| Tila | Julkaistu - 1994 |
| OKM-julkaisutyyppi | B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa |
Viittausmuodot
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver