Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardwa

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the

Software -- Software Engineering.

A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.