On the correctness of refinement steps in program development /
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Helsinki :
Department of Computer Science, University of Helsinki,
1978
|
| Saila: | Report (Helsingin yliopisto. Laskentakeskus) ;
A-1978-4. |
| Gaiak: |
| Deskribapen fisikoa: | 109 p. : ill. ; 30 cm. |
|---|---|
| Bibliografia: | Bibliography: p. 107-109. |