(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
Chicago Style CitationAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
MLA CitationAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
Warning: These citations may not always be 100% accurate.