Gleb Naumovich, Lori A. Clarke. Classifying properties: an alternative to the safety-liveness classification. In SIGSOFT FSE. pages 159-168, 2000. [doi]
@inproceedings{NaumovichC00,
title = {Classifying properties: an alternative to the safety-liveness classification},
author = {Gleb Naumovich and Lori A. Clarke},
year = {2000},
url = {http://portal.acm.org/citation.cfm?id=355045.355066},
tags = {classification},
researchr = {https://researchr.org/publication/NaumovichC00},
cites = {0},
citedby = {0},
pages = {159-168},
booktitle = {SIGSOFT FSE},
}