6 citations · 7 across the 7 of their papers we have counts for
1 paper · 1 filter
Viorel Preoteasa, Stavros Tripakis
Refinement calculus is a powerful and expressive tool for reasoning about sequential programs in a compositional manner. In this paper we present an extension of refinement calculu…