Checking Sanity of Software Requirements.

Jiri Barnat, Petr Bauch, Lubos Brim

Browse the full SEFM paper archive.