A Supplemental Notation of GSN Aiming for Dealing with Changes of Assurance Cases.

Toshinori Takai, Hiroyuki Kido

Browse the full ISSRE paper archive.