Logic and Formal Methods

Lilian Beckert