Zejmená se jedná o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: klasických a zejména náhodných systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů a dalších i…
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Dostupné z: https://dx.doi.org/10.29007/1874.