menu
M.Sc. Kristina Sojakova
Master Student, KWARCie September 2008  -  August 2010
Carnegie Mellon University

Thesis Title

Mechanically Verifying Logic Translations