Dechsupa, C., Panboonyuen, T., Vatanawood, W., Padungweang, P., & So-In, C. Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges. IEEE.
Chicago Style (17th ed.) CitationDechsupa, Chanon, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, and Chakchai So-In. Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges. IEEE.
MLA (9th ed.) CitationDechsupa, Chanon, et al. Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges. IEEE.
Warning: These citations may not always be 100% accurate.