ABDULLA P AZ について
Uppsala Univ., Uppsala, SWE について
JONSSON B について
Uppsala Univ., Uppsala, SWE について
KINDAHL M について
IAR Systems AB, Uppsala, SWE について
PELED D について
Bell Lab., NJ, USA について
Lecture Notes in Computer Science について
プログラム検証 について
モデル検証 について
計算理論 について
記号 について
検証 について
半順序 について
リダクション について