Verifying and Generating WP Transformers for Procedures on Complex Data.

Patrick Michel, Arnd Poetzsch-Heffter

Browse the full ITP paper archive.