Treating for-Loops as First-Class Citizens in Proofs

Nathan Wasser, Dominic Steinhöfel
January, 2020
PDF Cite
Type
Journal article
Publication
Computing Research Repository (CoRR)