Neha Rungta - NASA Formal Methods

Tue 16 - Thu 18 May 2023 Houston, Texas, United States

Registered user since Sat 26 Nov 2016

Name:Neha Rungta

Country:United States

Affiliation:Amazon Web Services

Personal website: https://ti.arc.nasa.gov/profile/nrungta/

Contributions

2023

NFM

A Toolkit for Automated Testing of Dafny

Show activities from other conferences

NASA Formal Methods-profile
View general profile