(2020). Automated Technology for Verification and Analysis. Springer Berlin Heidelberg.
शिकागो स्टाइल उद्धरणAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
एमएलए उद्धरणAutomated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2020.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.