CAV Award

  • Valmari, A. (Recipient)

    Prize: Award or honor granted for a specific work

    Awarded date2014
    Granting Organisations26th International Conference on Computer-Aided Verification, 18-22 July 2014, Vienna, Austria