The specification logic \(\nu \)Z
type: Item
instance of: scholarly article
title: The specification logic \(\nu \)Z
zbMATH Open document ID: 1105.68073
author: Martin C. Henson
author: Moshe Deutsch
author: Besnik Kajtazi
published in: Formal Aspects of Computing
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5073787
MaRDI profile type: Publication
full work available at URL: s00165-006-0007-2
OpenAlex ID: W2026470291
cites work: Refinement Calculus
cites work: Q4144755
cites work: Data Refinement
cites work: Investigating Z
cites work: Q4301161
DOI: 10.1007/S00165-006-0007-2
description: scientific article; zbMATH DE number 5073787