Nakamura, Yatsuka  (matematyka). <br/><br/>
Proving the Correctness of Functional Programs using MIZAR / 
Yatsuka Nakamura. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 211. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--język.<br/>Matematyka--oprogramowanie.