 |
|
|
JAIST Repository >
開催：2005年9月21日～22日 開催場所：金沢市文化ホール3F
|
最新登録アイテムProving Properties of Incremental Merkle Trees Abstraction of programs in PML (Pointer Manipulation Language) A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||