Logic and Formal Methods

Elke Sauer