A logical basis for programming methodology
type: Item
instance of: scholarly article
title: A logical basis for programming methodology
zbMATH Open document ID: 0469.68006
DOI: 10.1016/0304-3975(81)90030-X
author: Satoru Takasu
author: Sukemitsu Kawabata
published in: Theoretical Computer Science
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 3736984
zbMATH Keywords: WHILE-programs
zbMATH Keywords: formal proofs
describes a project that uses: Find
MaRDI profile type: Publication
cites work: Proof of a program
cites work: Q4172911
description: scientific article; zbMATH DE number 3736984