Shreya Sagar

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Human Generated

Top Venues

Publications

Saurabh Tiwari, Santosh Singh Rathore, Shreya Sagar, Yash Mirani
Identifying Use Case Elements from Textual Specification: A Preliminary Study. RE (2020)