APA引文

(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

MLA引文

Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.

警告：这些引文格式不一定是100％准确.