Doubt in Safety Claims is Inevitable: What is its Impact, What Can be Done About It?

Peter Bishop, Andrey Povyakalo, Lorenzo Strigini

Browse the full SAFECOMP paper archive.