Introduction to formal specification and Z

@inproceedings{Potter1991IntroductionTF,
  title={Introduction to formal specification and Z},
  author={Ben Potter and Jane Sinclair and David Till},
  booktitle={Prentice Hall International Series in Computer Science},
  year={1991}
}
Now welcome, the most inspiring book today from a very professional writer in the world, introduction to formal specification and z. This is the book that many people in the world waiting for to publish. After the announced of this book, the book lovers are really curious to see how this book is actually. Are you one of them? That's very proper. You may not be regret now to seek for this book to read. 
Highly Influential
This paper has highly influenced 13 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 213 extracted citations

Formal Integrity Analysis of Digital ATC Track Database

Natsuki TERADA
2001
View 10 Excerpts
Highly Influenced

Formal Specification and Development of Control System Input/Output

Z User Workshop • 1992
View 4 Excerpts
Highly Influenced

Formal methods in software development: a road less travelled

South African Computer Journal • 2010
View 3 Excerpts
Highly Influenced

Discussion on Definition and Use of Variables in Z Formal Specifications: An Example

2009 International Conference on Computational Intelligence and Software Engineering • 2009
View 4 Excerpts
Highly Influenced

Implementing Z in Morgan's Reenement Calculus

nement CalculusSeyed-Hassan Mirian-HosseinabadiDepartment
2007
View 4 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…