The Derivation of Con Formance Tests from Lotos Specifications

By: Material type: ArticleArticleDescription: 1337-1343 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.16, No.12 (Dec. 1990) Available