Dai, Baobin

< Back to all Authors
[up] Up a level
Group by: Item type | Date
Jump to:
Article
Number of items: 1.

Article

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