文献
J-GLOBAL ID:200902165156370968
整理番号:96A0451167
コネクションベースの証明戦略によるプログラム開発システムの誘導
Guiding Program Development Systems by a Connection Based Proof Strategy.
著者 (3件):
KREITZ C
(Technische Hochsch. Darmstadt, Darmstadt, DEU)
,
OTTEN J
(Technische Hochsch. Darmstadt, Darmstadt, DEU)
,
SCHMITT S
(Technische Hochsch. Darmstadt, Darmstadt, DEU)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
1048
ページ:
137-151
発行年:
1996年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)