![](https://airi.uniri.hr/wp-content/uploads/2021/05/stef-768x335.jpg)
Prof. dr. sc. Štefan Korečko from the Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Slovak Republic, held an interesting talk entitled “Verified Software Development With B-Method” on 5th of May, 2021.