DMCA

Implementing application-specific Object-Oriented theories in HOL

Cached

Download Links

by Kenro Yatake , Toshiaki Aoki , Takuya Katayama
Citations:1 - 0 self