ATVA Online & Dang Van Hung. (2020). Automated technology for verification and analysis: 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings. Springer.
Chicago Style (17th ed.) CitationATVA Online and Dang Van Hung. Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : Proceedings. Cham: Springer, 2020.
MLA (9th ed.) CitationATVA Online and Dang Van Hung. Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : Proceedings. Springer, 2020.
Warning: These citations may not always be 100% accurate.