シドニー・L・ハントラー - 共立出版コンピュータサイエンス誌『bit』

シドニー・L・ハントラー

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

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