Formal verification
AA.VV.
EAN
9780339561236
Editorial
Year of edition
2023
Idiom
English
Collection
SIN COLECCION