Changes between Version 9 and Version 10 of ThesesForDegrees.ja


Ignore:
Timestamp:
02/08/11 17:02:58 (13 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ThesesForDegrees.ja

    v9 v10  
    1313 
    1414== 2008 == 
    15  * Dependent Type Inference for Program Verification 
     15 * Dependent Type Inference for Program Verification[[br]] 
    1616 プログラム検証のための依存型推論[[br]] 
    1717 ([/~uhiro/ 海野 広志])