 |
|
|
JAIST Repository >
開催：2006年11月29日～30日 開催場所：JAIST 情報科学研究科棟II・Collaboration Room 7 (5F)
|
最新登録アイテム自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合） A Complete Axiomatic Semantics for the CSP Stable-Failures Model On-the-fly Model Checking Security Protocols and Its Implementation by Maude |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||