Abstract
We demonstrate that the logic contained in the draft Z standard is inconsistent.
Author supplied keywords
Cite
CITATION STYLE
APA
Henson, M. C. (1998). The Standard Logic of Z is Inconsistent. Formal Aspects of Computing, 10(3), 243–247. https://doi.org/10.1007/s001650050014
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free