Certified symbolic management of financial multi-party contracts.

Patrick Bahr, Jost Berthold, Martin Elsman

Browse the full ICFP paper archive.