| |
| 2007 | ||
|---|---|---|
| 2 | EE | Thuan Quang Huynh, Abhik Roychoudhury: Memory model sensitive bytecode verification. Formal Methods in System Design 31(3): 281-305 (2007) |
| 2006 | ||
| 1 | EE | Thuan Quang Huynh, Abhik Roychoudhury: A Memory Model Sensitive Checker for C#. FM 2006: 476-491 |
| 1 | Abhik Roychoudhury | [1] [2] |