You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Joseph R. Kiniry edited this page Mar 6, 2013
·
1 revision
This page provides a list of the talks related to DemTech.
== Trusted Certified Code ==
Joe Kiniry gave a talk entitled ''Trusted Certified Code'' to the "Certifications and Computations" workshop the 12th of March, 2012 in the IT-University, Copenhagen, Denmark.
![Image(htdocs:img/TrustedCertifiedCode.png, valign=middle, link=htdocs:talks/TrustedCertifiedCode.pdf])](/demtech/demtech.github.com/wiki/Image%28htdocs%3Aimg-TrustedCertifiedCode.png%2C-valign%3Dmiddle%2C-link%3Dhtdocs%3Atalks-TrustedCertifiedCode.pdf%5D%29){kind=link}