Skip to content

A new approach for software correctness and reliability (keynote).

Martin C. Rinard

VenueBSLE
Year2018
ProceedingsSLE

Browse the full SLE paper archive.