Browse
Sign on to:
My DSpace
authorized users

JAIST Repository >
Education and Reseach Center for Trustworthy e-Society 2004-2016 >
Conference Papers, Presentations >

Theorem Proving and Provers Meeting （2nd TPP） : [5]

Collection home page
 
All Faculty's Articles
 
or browse     
2nd TPP


 

Recent Submissions

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）

A Complete Axiomatic Semantics for the CSP Stable-Failures Model

On-the-fly Model Checking Security Protocols and Its Implementation by Maude

ToyWeb based prover

Theorem-proving Privacy and Anonymity
Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)