Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.

Brigitte Pientka

Browse the full ICLP paper archive.