ICE-TCS Lectures Series - Marjan Sirjani
On Friday, February 27th, Marjan Sirjani (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled An Introduction to Formal Methods in Software Engineering and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1).
The abstract for the seminar is available here.
