NASA Formal Methods (series) / Jeffrey S. Foster
Registered user since Tue 24 Nov 2015
Name:Jeffrey S. Foster
Country:United States
Affiliation:Tufts University
Personal website:https://www.cs.tufts.edu/~jfoster/
Contributions
| NASA Formal Methods | A Toolkit for Automated Testing of Dafny | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
NASA Formal Methods-profile
View general profile
View general profile