Safety as a Metric

Matthias Felleisen, Robert Cartwright. Safety as a Metric. In CSEE&T. pages 129-131, 1999. [doi]

Abstract

Abstract is missing.