Yang, Xiaoxian
![[up]](/style/images/multi_up.png)
Up a level< Back to all Authors
Group by: Item type | Date
Jump to:
2023
2023
Number of items: 1.
2023
Gao, Honghao, Dai, Baobin, Miao, Huaikou, Yang, Xiaoxian, Barroso, Ramon J Duran and Hussain, Walayat 
ORCID: 0000-0003-0610-4006
(2023)
A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective.
ACM Transactions on Multimedia Computing, Communications, and Applications.
pp. 1-23.
ISSN 1551-6857