Regular ArticleAnother look at parameterization for order-sorted algebraic specifications
Under an Elsevier user license
open archive
Cited by (0)
- *
Research partially supported by ESPRIT Project 390 PROSPECTRA and ESPRIT Basic Research WG 3264 COMPASS.
Copyright © 1994 Published by Elsevier Inc.