Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures.

Tho Losekoot, Thomas Genet, Thomas P. Jensen

Browse the full FSCD paper archive.