Modular Verfication of Data Abstractions with Shared Realizations

By: Material type: ArticleArticleDescription: 288-307 pSubject(s): In: IEEE Transactions on Software Engineering

Visit counter For Websites

Copyright © 
Engr Abul Kalam Library, NEDUET, 2024