Formal specification approach in designing database system using Z

Bibliographic Details
Format: Restricted Document
Description
Description not available.