Automated Requirement Formalization Using Product Design Specifications.

Robin Grpler, Libin Kutty, Viju Sudhi, Daran Smalley

Browse the full REFSQ paper archive.