Relating Z and first-order logic

DOI10.1007/S001650070029zbMath0968.68097OpenAlexW4243796095MaRDI QIDQ5926770

Andrew P. Martin

Publication date: 7 May 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650070029

zbMATH Keywords

logicsmodelsschemastheorem provingtoolsundefinednessZ notation

Mathematics Subject Classification ID

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

This page was built for publication: Relating Z and first-order logic