Treating for-Loops as First-Class Citizens in Proofs

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