@book{17373, author = {Arch, David Daniel, and Barsotti, Damián,}, title = {Verificación formal de código binario / }, publisher = {s.n. ], }, year = {2015.}, address = {[S.l. : }, url = {http://hdl.handle.net/11086/2830} }