«Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, ... - Tiziana Margaria» [KSIĄŻKA] Autor: Tiziana Margaria • DVDmax.pl