@mastersthesis{Kov09,
AUTHOR = {Kovalev, Mikhail },
TITLE = {Integrating a Verified Compiler and a Verified Garbage Collector},
YEAR = {2009},
URL = {http:///publikationen/Kov09.pdf},
SCHOOL = {Saarland University},
}