文献
J-GLOBAL ID:201002038950996471
整理番号:80A0157157
合成:夢→プログラム
Synthesis: dreams→programs.
著者 (2件):
MANNA Z
(Weizmann Inst. Science, Israel)
,
WALDINGER R
(SRI International, CA)
資料名:
IEEE Trans Software Eng
(IEEE Transactions on Software Engineering)
巻:
5
号:
4
ページ:
294-328
発行年:
1979年
JST資料番号:
D0480D
ISSN:
0098-5589
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)