Hokkaido University Collection of Scholarly and Academic Papers >
Showing results 1 to 2 of 2
Type | Author(s) | Title | Other Titles | Citation | Citation(alt) | Issue Date | bulletin (article) | 浦崎, 道教; 柳, 繁; 新保, 勝; 河口, 至商 | プログラム停止性に関するある種の検証システム | A Verification Condition Generator System for Program Termination | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 30-Aug-1976 |
bulletin (article) | 柳, 繁; 浦崎, 道教; 佐藤, 義治; 河口, 至商 | 検証条件のある証明システム"PROVER"について | On a Proving System, PROVER, for the Verifivation Conditions | 北海道大學工學部研究報告 | Bulletin of the Faculty of Engineering, Hokkaido University | 25-Mar-1977 |
Showing results 1 to 2 of 2
|