Teaching systems and program verification

zbMath0856.68030MaRDI QIDQ2563467

G. G. Oganyan

Publication date: 12 December 1996

Published in: Moscow University Computational Mathematics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

LISPcorrectness of programstutor system

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15)

This page was built for publication: Teaching systems and program verification