Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Software Engineering | Lehre | Bachelor- und Masterarbeiten | BachelorThesisProposal-Automated-Validation-Patch-Correctness-Maintainability-with-SE.pdf BachelorThesisProposal-Automated-Validation-Patch-Correctness-Maintainability-with-SE.pdf BachelorThesisProposal-Automated-Validation-Patch-Correctness-Maintainability-with-SE.pdf — 159.7 KB