(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
MLA citiranjeVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Opozorilo: Ti citati niso vedno 100% točni.