Ralph-Johan Back, Viorel Preoteasa. An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput., 17(1):69-90, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.