(2020). Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg.
Chicago Style citaatVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
MLA citatieVerified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, 2020.
Let op: Deze citaties zijn niet altijd 100% accuraat.