A Lightweight Code Analysis and Its Role in Evaluation of a Dependability Case

doi 10.1145/1985793.1985799
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press