The goal structuring notaion - a safety argument notation (0)

by T Kelly, R Weaver
Venue:In [1