HUSCAP logo Hokkaido Univ. logo

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 >

プログラム停止性に関するある種の検証システム

Files in This Item:
81_87-92.pdf237.99 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/41374

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

Export metadata:

OAI-PMH ( junii2 , jpcoar )

MathJax is now OFF:


 

 - Hokkaido University