Specification and Validation of Control-Intensive Ic' in Hopcp

By: Material type: ArticleArticleDescription: 405-423 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.20, No.06 (Jun. 1994) Available