Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming

By: Material type: ArticleArticleDescription: 165-180 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.15, No.02 (Feb. 1989) Available