Institute for


Prof. Dr. Farhad Mehta speaks at the Technology Forum Zug

Prof. Dr. Farhad Mehta will be speaking at the Technology Forum Zug on 29.04.2015. The tile of his talk is “In pursuit of correctness” (Das Streben nach Korrektheit) and will give an overview of techniques that can be used to ensure the correctness of computer-based systems.


More Information can be found at: