(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Chicago ZitierstilRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
MLA ZitierstilRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.