HKU Scholars Hub: Browsing DSpace

Browsing by Author Hu, G

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中

or enter first few letters:

Showing results 35 to 36 of 36 < previous

	Title	Author(s)	Issue Date
	Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS	Cui, H Hu, G Wu, J Yang, J	2013
	Verifying systems rules using rule-directed symbolic execution Proceeding/Conference:ACM SIGPLAN Notices	Cui, H Hu, G Wu, J Yang, J	2013

Showing results 35 to 36 of 36 < previous