Skip to content

Correct by construction is guaranteed to fail.

Stephen K. Sunter

VenueAITC
Year2005
ProceedingsITC

Browse the full ITC paper archive.