Reed Milewicz
Original record- Institution
- University of Alabama-Birmingham
- Year
- 2016
- Country
- United States
- MGP identifier
- 228278
Dissertation: Improving the Scalability of Directed Model Checking of Concurrent Java Code through Hybrid and Distributed Analysis
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Peter Mathias PirkelbauerTexas A&M University · 2010
Students 0
No students recorded in this snapshot.