LAMPORT L について
SRI International について
ACM Trans Program Lang Syst について
プログラムの正しさ について
多重処理プログラム について
正当性 について
証明 について
TOP
BOTTOM