Skip to content

Obtaining and reasoning about good enough software.

Martin C. Rinard

VenueA*DAC
Year2012
ProceedingsDAC

Browse the full DAC paper archive.