APA Citation

(2020). Model Checking Software. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Model Checking Software. Springer Berlin Heidelberg, 2020.

MLA Citation

Model Checking Software. Springer Berlin Heidelberg, 2020.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.