Distinguished Artifact Award at TACAS 2018

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".