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
|
|