|
Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.81 >
プログラム停止性に関するある種の検証システム
| Title: | プログラム停止性に関するある種の検証システム |
| Other Titles: | A Verification Condition Generator System for Program Termination |
| Authors: | 浦崎, 道教1 Browse this author | | 柳, 繁2 Browse this author | | 新保, 勝3 Browse this author | | 河口, 至商4 Browse this author |
| Authors(alt): | Urasaki, Michinori1 | | Yanagi, Shigeru2 | | Shimbo, Masaru3 | | Kawaguchi, Michiaki4 |
| Issue Date: | 30-Aug-1976 |
| Publisher: | 北海道大学 |
| Journal Title: | 北海道大學工學部研究報告 |
| Journal Title(alt): | Bulletin of the Faculty of Engineering, Hokkaido University |
| Volume: | 81 |
| Start Page: | 87 |
| End Page: | 91 |
| Type: | bulletin (article) |
| URI: | http://hdl.handle.net/2115/41374 |
| Appears in Collections: | 北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.81
|
|
