(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Styl cytowania ChicagoRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Styl cytowania MLARigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..