An Informal Introduction to Formal Methods

Wed, 27 Jan 2016 14:52:52 +0100
RSS-News, Teaser

Talk by Dr. Osman Hassan,
SAVE Lab, National University of Science and Technology (NUST), Pakistan

January 30th, 11:00, Room H120 Technologiefabrik.