Pobieranie 72. Semi_formal_methods_secur_Kharchenko_Abakumov_2023.pdf...