ProMoBox: A Framework for Generating Domain-Specific Property Languages.

Bart Meyers, Romuald Deshayes, Levi Lucio, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer

Browse the full SLE paper archive.