
Registered user since Thu 31 May 2018
Name:Reed Milewicz
Country:United States
Affiliation:Sandia National Laboratories
Research interests:Software engineering, compilers, formal verification
Contributions
JPF 2019 | Committee Member in Program Committee within the JPF 2019-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ASE 2019-profile
View general profile
View general profile