Conditional composition
type: Item
instance of: scholarly article
title: Conditional composition
zbMATH Open document ID: 0840.68072
DOI: 10.1007/BF01211001
author: Rajit Manohar
author: K. Rustan
author: K. Rustan M. Leino
published in: Formal Aspects of Computing
publication date: 1996-02-25T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 842055
zbMATH Keywords: conditional function composition
describes a project that uses: CalcCheck
MaRDI profile type: Publication
cites work: Correct and Robust Programs
cites work: Q4692630
cites work: Q4846258
cites work: Q4281672
description: scientific article; zbMATH DE number 842055