Automatic Analysis and Test Case Derivation for a Restricted Class of Lotos Expressions with Data Parameters

By: Material type: ArticleArticleDescription: 29-42 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.01 (Jan. 1994) Available

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024