Assume(), Capture(), Verify(), Establish(): A Vocabulary for Static Program Analysis.

Hessamaldin Mohammadi, Wided Ghardallou, Elijah Brick, Ali Mili

Browse the full QRS paper archive.