Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey
On the Use of Visualization in Formal Requirements Specification
RE, 2002.
@inproceedings{RE-2002-DulacVLS,
author = "Nicolas Dulac and Thomas Viguier and Nancy G. Leveson and Margaret-Anne D. Storey",
booktitle = "{Proceedings of the 10th Anniversary Joint International Requirements Engineering Conference}",
doi = "10.1109/ICRE.2002.1048507",
isbn = "0-7695-1465-0",
pages = "71--80",
publisher = "{IEEE Computer Society}",
title = "{On the Use of Visualization in Formal Requirements Specification}",
year = 2002,
}