Παραπομπή APA

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

Παραπομπή Chicago Style

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

Παραπομπή MLA

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

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.