Topics(7)

Awards and achievements (2) View all

  • 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

100 Followers View all