Lessons from Using Z to Specify a Software Tool

By: Material type: ArticleArticleDescription: 15-23 pSubject(s): In: IEEE Transactions on Software Engineering
Holdings
Item type Current library Call number Vol info Status Date due Barcode
Articles Articles Periodical Section Vol.24, No.01 (Jan. 1998) Available