Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan
 
Kong Woei Susanto
 

Research

(Analysis last run in January 2008)

2005--2007: 'interactive theorem proving'; 'source-level proof reconstruction';

Related People