TY  - GEN
AU  - Nakamura,Yatsuka
TI  - Proving the Correctness of Functional Programs using MIZAR
KW  - Matematyka
KW  - język
KW  - kaba
KW  - oprogramowanie
N1  - Tytuł. nagł; Bibliogr. s. 211
ER  -