Structuring Software Functional Requirements For Automated Design And Verification.

Sukhamay Kundu

Browse the full COMPSAC paper archive.