Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili 0001. Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023 Companion, Chiang Mai, Thailand, October 22-26, 2023. pages 845-846, IEEE, 2023. [doi]
Abstract is missing.