Distinguished Artifact Award at TACAS 2018

  • Tripakis, S. (Recipient)

Prize: Award or honor granted for a specific work

Description

Distinguished Artifact Award at TACAS 2018 for paper "The Refinement Calculus of Reactive Systems Toolset".