Rostislav Yavorskiy Tools and Methods of Program Analysis - 1st ed. 2024 - Springer 2024 - Communications in Computer and Information Science . ISBN: 9783031192082 Subjects--Topical Terms: Computer ScienceSoftware Engineering