Cong Quy Trinh
PhD student at Institutionen för informationsteknologi; Datorteknik
- E-mail:
- cong-quy.trinh@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
More information is available to staff who log in.
Publications
Recent publications
- Fragment abstraction for concurrent shape analysis (2018)
- Verification of heap manipulating programs with ordered data by extended forest automata (2016)
- Automated Verification of Linearization Policies (2016)
- Verification of heap manipulating programs with ordered data by extended forest automata (2013)