Richard A. Kemmerer. Formal Specification of a Mental Health Delivery System. In DBSec. pages 341-351, 1989.
@inproceedings{Kemmerer89,
title = {Formal Specification of a Mental Health Delivery System},
author = {Richard A. Kemmerer},
year = {1989},
researchr = {https://researchr.org/publication/Kemmerer89},
cites = {0},
citedby = {0},
pages = {341-351},
booktitle = {DBSec},
}