Detail


year2001
monthJan.
classJournal
intlordomInternational
languageenglish
presentation_type
authorKouichi SAKURAI
titleA Theory of Demonstrating Program Result-Correctness with Cryptographic Applications
authorityIEICE Transactions, Vol.E84-D, No.1, pp.4-14, Jan. 2001.
note


[japanese page]
[top page]