Skip to content

A formal approach to program modification.

Lindsay Groves

VenueCAPSEC
Year2000
ProceedingsAPSEC

Browse the full APSEC paper archive.