On the Use of Visualization in Formal Requirements Specification.

Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, Margaret-Anne D. Storey

Browse the full RE paper archive.