Jeff Kramer, Jim Cunningham. Invariants for Specifications. In ICSE. pages 183-193, 1979.
@inproceedings{KramerC79,
title = {Invariants for Specifications},
author = {Jeff Kramer and Jim Cunningham},
year = {1979},
researchr = {https://researchr.org/publication/KramerC79},
cites = {0},
citedby = {0},
pages = {183-193},
booktitle = {ICSE},
}