Dyfyniad APA

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

Dyfyniad Arddull Chicago

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

Dyfyniad MLA

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

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.