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.
