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