@dblp

Theory-Specific Reasoning about Loops with Arrays using Vampire.

, , and . Vampire@IJCAR, volume 44 of EPiC Series in Computing, page 16-32. EasyChair, (2016)

Links and resources

Tags