IFM 2022: 17TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
Alexander Kolchin
Affiliation: V.M.Glushkov Institute of Cybernetics NAS of Ukraine
Pages in this Program
Program
Program for Friday, June 10th