Formaliy Verified on-line Diagnosi

By: Material type: ArticleArticleDescription: 684-721 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.23, No.11 (Nov. 1997) Available