Introducing formal methods: a less mathematical approach
Choice Reviews Online · 1993
The software engineering background software specification and verification informal methods formal methods - what are they? some discrete mathematics a more detailed look at formal methods applications to program specification and verification software prototyping.