Robert Daniel started following the work of domingo gomezd, Universidad de Cantabria, Matemáticas, Estadística y Computación. 2011-08-08 03:24:58 -0700

Robert Daniel added themselves to the department Transceiver Firmware Verification and added a website. 2011-08-06 08:09:48 -0700

Robert Daniel followed the research interests: Software Verification and Validation, Delta Debugging, Fuzz Testing, Hardware Verification, Satisfiability Modulo Theories... (2 more) Software Verification and Validation, Delta Debugging, Fuzz Testing, Hardware Verification, Satisfiability Modulo Theories, Model-Based Testing, and Formal Methods (Formal Verification) 2011-08-06 08:08:08 -0700