Constructive Protocol Specification Using Cicerro

By: Material type: ArticleArticleDescription: 252-268 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.24, No.04 (Apr. 1998) Available

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024