Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
RE, 2001.
@inproceedings{RE-2001-SmithHE,
author = "Margaret H. Smith and Gerard J. Holzmann and Kousha Etessami",
booktitle = "{Proceedings of the Fifth International Symposium on Requirements Engineering}",
doi = "10.1109/ISRE.2001.948539",
isbn = "0-7695-1125-2",
pages = "14--22",
publisher = "{IEEE Computer Society}",
title = "{Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs}",
year = 2001,
}