Skip to content

Verification of Definite Iteration over Hierarchical Data Structures.

Valery A. Nepomniaschy

VenueBFASE
Year1999
ProceedingsFASE

Browse the full FASE paper archive.