Skip to content

Formal Transformations and the Development of Programs.

Friedrich W. von Henke

VenueBMFCS
Year1977
ProceedingsMFCS

Browse the full MFCS paper archive.