(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Citación estilo ChicagoVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Cita MLAVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Precaución: Estas citas no son 100% exactas.