Skip to content

A Design and Implementation of an Assurance Case Language.

Yutaka Matsuno

VenueADSN
Year2014
ProceedingsDSN

Browse the full DSN paper archive.