Layer Systems for Confluence - Formalized.

Bertram Felgenhauer, Franziska Rapp

Browse the full ICTAC paper archive.