
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