Sarat Chandra Varanasi - FORGE 2024

Sun 14 Apr 2024 Lisbon, Portugal

co-located with ICSE 2024

Registered user since Sat 12 Sep 2020

Name:Sarat Chandra Varanasi

Affiliation:GE Research

Contributions

2024

FormaliSE

Formal Methods in Requirements Engineering: Survey and Future Directions

Show activities from other conferences

ICSE 2024-profile
View general profile