27th LOPSTR 2017: Namur, Belgium

Analysis

Program Development

Term Rewriting and CHR

Theory

Verification

maintained by Schloss Dagstuhl LZI, founded at University of Trier