Skip to content

Formal Assurance Arguments: A Solution in Search of a Problem?

Patrick John Graydon

VenueADSN
Year2015
ProceedingsDSN

Browse the full DSN paper archive.