Electrical Engineering and Computer Science

Formal Methods and Automated Reasoning