Transparency in Formal Proof
Cap Petschulat · 2009
The following individuals read and discussed the thesis submitted by student Cap Petschulat, and they also evaluated his presentation and response to questions during the final oral examination. They found that the student passed the final oral examination, and that the thesis was satisfactory for a master’s degree and ready for any final modifications that they explicitly required.