Skip to content

Domagoj Babic

  • Ph.D.
  • 3Followers

Research interests

SMT). Concurrent systems. Symbolic execution.and verification. Decision procedures (SATtestingSoftware reliability and security. automated software analysis


For more information, please see my web site:

Followers (3)

  • Roberto Bruttomesso

    Roberto BruttomessoDipartimento di scienze dell'informazione, Università degli Studi di Milano

  • Jonathan Bowen

    Jonathan BowenLondon South Bank University

  • Marin Matijaš

    Marin Matijaš