An Axiomatic Approach to Structuring Specifications

by Răzvan Diaconescu

Document Versions

An Axiomatic Approach to Structuring Specifications –Răzvan Diaconescu