Formal Derivation of Concurrent Programs an Example from Industry

By: Material type: ArticleArticleDescription: 503-528 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.19, No.05 (May. 1993) Available