Symbolic Execution as Search, and the Rise of Solvers

Loading...
Del curso dictado por University of Maryland, College Park
Software Security
725 calificaciones
University of Maryland, College Park
725 calificaciones
Curso 2 de 5 en SpecializationCybersecurity

Conoce a los instructores

  • Michael Hicks
    Michael Hicks
    Professor
    Department of Computer Science

Explora nuestro catálogo

Inscríbete de manera gratuita y obtén recomendaciones personalizadas, actualizaciones y ofertas.