%0 Thesis %1 phd/us/Kasampalis21 %A Kasampalis, Theodoros %D 2021 %K dblp %T Translation validation for compilation verification

@phdthesis{phd/us/Kasampalis21, added-at = {2023-09-07T00:00:00.000+0200}, author = {Kasampalis, Theodoros}, biburl = {https://www.bibsonomy.org/bibtex/215527466bb80b32474fc598d2de32def/dblp}, ee = {https://hdl.handle.net/2142/110460}, interhash = {706e42f6d453e90d00e7e1a3a0aa3a34}, intrahash = {15527466bb80b32474fc598d2de32def}, keywords = {dblp}, school = {University of Illinois Urbana-Champaign, USA}, timestamp = {2024-04-09T08:05:15.000+0200}, title = {Translation validation for compilation verification}, year = 2021 }