DMCA

Multi-Level Specifications (1996)

Cached

Download Links

by E. Visser , E. Visser , E. Visser
Venue:Language Prototyping. An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific Publishing Inc
Citations:6 - 3 self