Changes between Version 8 and Version 9 of ThesesForDegrees.ja


Ignore:
Timestamp:
02/08/11 16:42:50 (14 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ThesesForDegrees.ja

    v8 v9  
    77 
    88= 博士論文 = #doctor 
     9== 2009 == 
     10 * VMM-based Systems for Enhancing Application Security[[br]] 
     11 VMMを利用した アプリケーションプログラムの安全性を向上させるシステム[[br]] 
     12 ([/~koichi/ 尾上 浩一]) 
     13 
     14== 2008 == 
     15 * Dependent Type Inference for Program Verification 
     16 プログラム検証のための依存型推論[[br]] 
     17 ([/~uhiro/ 海野 広志]) 
     18 
    919== 2007 == 
    1020 * Type Systems for Formal Verification of Concurrent Programs[[br]]