DM lab (delMDSOC lab) is a framework suited for the analysis and verification of object-oriented programs that support modularized crosscutting concerns. (e.g. programs written in aspect-, context- and role-oriented languages)
External content site (publications, course materials and artefacts)
