Login / Signup

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

Martin C. Rinard
Published in: SLE (2018)
Keyphrases