ジェイムス・C・キング - 共立出版コンピュータサイエンス誌『bit』

ジェイムス・C・キング

プログラムの正当性証明入門(1) 1979年06月号

プログラムの正当性証明入門(2) 1979年07月号