Browsing byAuthorWalayat, H
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2023-01-05 | A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective | Gao, H; Dai, B; Miao, H; Yang, X; Barroso, RJD; Walayat, H |