registros 1 al 4 de 4
Computer Aided Verification
Autor/Editor: Biere, Armin  Bloem, Roderick
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-08867-9
    + info
Handbook of Model Checking
Autor/Editor: Clarke, Edmund M.  Henzinger, Thomas A.  Veith, Helmut  Bloem, Roderick
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-10575-8
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Bloem, Roderick  Arbel, Eli
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-49052-6
    + info
Trusted Systems
Autor/Editor: Bloem, Roderick  Lipp, Peter
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03491-1
    + info
  registros 1 al 4 de 4