Matthias Felleisen, Robert Cartwright. Safety as a Metric. In CSEE&T. pages 129-131, 1999. [doi]
@inproceedings{FelleisenC99,
title = {Safety as a Metric},
author = {Matthias Felleisen and Robert Cartwright},
year = {1999},
url = {http://computer.org/proceedings/cseet/0131/01310129abs.htm},
researchr = {https://researchr.org/publication/FelleisenC99},
cites = {0},
citedby = {0},
pages = {129-131},
booktitle = {CSEE&T},
}