A calculus for schemas in Z

DOI10.1006/jsco.1999.0347zbMath0962.68112OpenAlexW2000089287WikidataQ59505369 ScholiaQ59505369MaRDI QIDQ1583855

R. Smith

Publication date: 30 October 2000

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2a3b0a2ca84362cc5362e9c7499e4c42e01bffaa

zbMATH Keywords

Standard Z

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Categorical foundations for structured specifications in \(\mathsf{Z}\)

Uses Software

• Z/EVES
• Z

Cites Work

• The B-Book
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A calculus for schemas in Z