APA ציטוט

(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.

ציטוט MLA

Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.