Logic and Formal Methods

Bernd Giesinger