(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Styl ChicagoRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Citace podle MLARigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..