HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 2 of 2
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
bulletin (article)浦崎, 道教; 柳, 繁; 新保, 勝; 河口, 至商プログラム停止性に関するある種の検証システムA Verification Condition Generator System for Program Termination北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University30-Aug-1976
bulletin (article)柳, 繁; 浦崎, 道教; 佐藤, 義治; 河口, 至商検証条件のある証明システム"PROVER"についてOn a Proving System, PROVER, for the Verifivation Conditions北海道大學工學部研究報告Bulletin of the Faculty of Engineering, Hokkaido University25-Mar-1977
Showing results 1 to 2 of 2

 

Hokkaido University