An Axiomatic Approach to Structuring Specifications

View PDF

Download Links

by Răzvan Diaconescu
Citations:4 - 0 self