Skip to content

Program Safety via Programmer Safety.

Joseph Kiniry

VenueCISoLA
Year2006
ProceedingsISoLA

Browse the full ISoLA paper archive.