Elements of Style Analyzing a Software Design Feature with a Counterexample Detector

By: Material type: ArticleArticleDescription: 484-495 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.22, No.07 (Jul. 1996) Available