Thuan Quang Huynh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Thuan Quang Huynh, Abhik Roychoudhury: Memory model sensitive bytecode verification. Formal Methods in System Design 31(3): 281-305 (2007)

2006

1 Thuan Quang Huynh, Abhik Roychoudhury: A Memory Model Sensitive Checker for C#. FM 2006: 476-491

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

Coauthor Index