Introduction

For a more extensive introduction we recommend the references given in the preface. In this chapter we introduce the idea of formal specification and verificatio as a 'simple story' along a toy problem.



Subsections

Gerd Doeben-Henisch 2010-03-03