Browsing by Author

Showing results 1 to 2 of 2
PreviewAuthors / EditorsTitleTypeIssue Date
Fellner Andreas - 2014 - Space congruence compression of proofs.pdf.jpgFellner, Andreas Space & congruence compression of proofsThesis Hochschulschrift 2014
Fellner Andreas - 2021 - Strong model-based mutation testing.pdf.jpgFellner, Andreas Starkes modellbasiertes MutationstestenThesis Hochschulschrift 2021