Reasoning algebraically about loops
type: Item
instance of: scholarly article
title: Reasoning algebraically about loops
zbMATH Open document ID: 0940.68011
author: V. Pereyra
published in: Acta Informatica
publication date: 1999-11-09T00:00:00Z
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1347431
zbMATH Keywords: refinement calculus
zbMATH Keywords: algebraic reasoning techniques
MaRDI profile type: Publication
full work available at URL: s002360050163
OpenAlex ID: W2016265082
DOI: 10.1007/S002360050163
description: scientific article; zbMATH DE number 1347431