Tacksoo Im, Soujanya Vullam, John D. McGregor. Reasoning about Safety during Software Architecture Design. In Imad Rahal, Rym Zalila-Wenkstern, editors, ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010, Hilton Fisherman s Wharf, San Francisco, CA, USA. pages 1-8, ISCA, 2010.
Abstract is missing.