An Algebraic Approach to Refinement of KBS Specification (1995)

Cached

Download Links

by Anca I. Vermesan , Sigurd Meldal
Citations:1 - 0 self