文献
J-GLOBAL ID:200902062634032913
整理番号:86A0227220
設計とプログラム構造の生成と無矛盾性チェック
Generation and consistency checking of design and program structures.
著者 (1件):
LICHTMAN Z L
(Armament Development Authority, Israel)
資料名:
IEEE Transactions on Software Engineering
(IEEE Transactions on Software Engineering)
巻:
12
号:
1
ページ:
172-181
発行年:
1986年01月
JST資料番号:
D0480D
ISSN:
0098-5589
CODEN:
IESEDJ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)