Symbolic Execution as Search, and the Rise of Solvers

Loading...
From the course by University of Maryland, College Park
Software Security
607 ratings
University of Maryland, College Park
607 ratings
Course 2 of 5 in the Specialization Cybersecurity

Meet the Instructors

  • Michael Hicks
    Michael Hicks
    Professor
    Department of Computer Science

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.