Model Checking Visual Specification of Requirements.

Ulka Shrotri, Purandar Bhaduri, R. Venkatesh

Browse the full SEFM paper archive.