From VDM Specifications to Functional Prototypes (1993)

Cached

Download Links

by Paulo Borba , Silvio Meira
Citations:4 - 1 self