Рет қаралды 110
This talk was presented at the 4th International Conference on Code Quality (ICCQ), a one-day computer science event organised in cooperation with the IEEE Russia Section C Chapter and focused on static analysis, program verification, bug detection, and software maintenance. More information about the event you can find on our website: www.iccq.ru/2024.html
Don't hesitate to follow us on Twitter: intent/follow?scr...
If you have any questions or want to contribute to our next events, just email us: team@iccq.ru