文献
J-GLOBAL ID:200902141795712946
整理番号:93A0783849
Loop不変量の機械的導出について
On the Mechanical Derivation of Loop Invariants.
著者 (2件):
CHADHA R
(Bell Communications Research, NJ, USA)
,
PLAISTED D A
(Univ. North Carolina at Chapel Hill, USA)
資料名:
Journal of Symbolic Computation
(Journal of Symbolic Computation)
巻:
15
号:
5/6
ページ:
705-744
発行年:
1993年05月
JST資料番号:
D0359D
ISSN:
0747-7171
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)