Tel Aviv University, The Blavatnik School of Computer Science

“Automated Reasoning in Software Development: Theory and Applications”