Leo Marcus, Telis Menas. Safety via State Transition Language Plus Invariants. In CSFW. pages 71-77, 1989.
@inproceedings{MarcusM89,
title = {Safety via State Transition Language Plus Invariants},
author = {Leo Marcus and Telis Menas},
year = {1989},
researchr = {https://researchr.org/publication/MarcusM89},
cites = {0},
citedby = {0},
pages = {71-77},
booktitle = {CSFW},
}