Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities.

Thomas Kufl

Browse the full CADE paper archive.