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

Website  

Thesis Title

Mechanically Verifying Logic Translations