Requirement Analysis and Automated Verification: A Semantic Approach.

Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya

Browse the full SEKE paper archive.