"Requirement Analysis and Automated Verification: A Semantic Approach."

Animesh Dutta, Prajna Devi Upadhyay, Sudipta Acharya (2012)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2012-08-20