Skip to content

A Calculus for Set-Based Program Development.

Georg Struth

VenueCICFEM
Year2003
ProceedingsICFEM

Browse the full ICFEM paper archive.