Requirements Validation based on the Visualization of Executable Formal Specifications.

Mehmet Blent zcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi

Browse the full COMPSAC paper archive.