CAV Award

  • Valmari, Antti (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