Topics(7)

Awards and achievements (2)

  • Mar 2014
    Most influential tool paper in the first 20 years of TACAS
    Award
  • Aug 2010
    Haifa Verification Conference Award
    Award

Skills and expertise(4) View all

12 Following View all

130 Followers View all