(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Stile di citazione ChicagoVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Citazione MLAVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.