文献
J-GLOBAL ID:200902169430117919
整理番号:93A0659821
文の逆転と最強後条件
Statement inversion and strongest postcondition.
著者 (2件):
BACK R J R
(Abo Akademi Univ., Turku, FIN)
,
VON WRIGHT J
(Abo Akademi Univ., Turku, FIN)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
20
号:
3
ページ:
223-251
発行年:
1993年06月
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)