Reihe PhD Theses in Experimental Software Engineering

Sustainable Structures in Software Implementations by Live Compliance Checking.