Title: Sustainable Structures in Software Implementations by Live Compliance Checking
Subjects: Computer architecture, Sustainable development, Computer software, verification