(2020). Rigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg.
Stile di citazione ChicagoRigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Citazione MLARigorous Methods for Software Construction and Analysis. Springer Berlin Heidelberg, 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.