10 citations · 32 across the 26 of their papers we have counts for
1 paper · 2 filters
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…