Tim Heyer

• Semantic inspection of software artifacts from theory to practice