Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting (1994)

Cached

Download Links

by Yellamraju V. Srinivas , Yellamraju V. Srinivas
Venue:In Proceedings of the IFIP TC2 Working Coference on Programming Concepts, Methods and Calculi (PROCOMET'94
Citations:2 - 0 self