JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science : ISSN 0918-7553 >
Formal Semantics of Core SQL Language based on the K Framework
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering
Generic Proof Scores for Generate & Check Method in CafeOBJ