Distinguished Artifact Award at TACAS 2018

Palkinto: Palkinto tai huomionosoitus tuotoksesta

Description

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