DMCA

Formal Verification of DES Using the Mizar Proof Checker

Cached

Download Links

by Hiroyuki Okazaki , Kenichi Arai , Yasunari Shidama