Loop invariants, exploration of regularities, and mathematical games
From MaRDI portal
Publication:3150453
DOI10.1080/00207390110038303zbMath1007.68120MaRDI QIDQ3150453
Publication date: 17 October 2002
Published in: International Journal of Mathematical Education in Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207390110038303
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work