Journal ArticleOPEN ACCESS

Formal Specification using Z

  • Ince D
The Computer Journal (1992) 35(2) 147-147
DOI: 10.1093/comjnl/35.2.147-a
N/ACitations
Citations of this article
16Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

2nd ed. Previous edition: Basingstoke : Macmillan, 1991. Includes index. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.

Cite

CITATION STYLE

APA

Ince, D. (1992). Formal Specification using Z. The Computer Journal, 35(2), 147–147. https://doi.org/10.1093/comjnl/35.2.147-a

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free