(2020). Formal Methods for Industrial Critical Systems. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Παραπομπή MLAFormal Methods for Industrial Critical Systems. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.