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

About

For more information, please see my web site: http://www.domagoj.info/

Followers (3)