Skip to content

Formalization and 'Literate' Programming.

Hugh Anderson

VenueCAPSEC
Year2001
ProceedingsAPSEC

Browse the full APSEC paper archive.