文献
J-GLOBAL ID：200902104184116938   整理番号：93A0853651

ForMooZ: A Hypertext-Based Environment to Support Object-Oriented Formal Development.

著者 (2件)：
MEIRA S L

MEIRA S L について

(Univ. Federal de Pernambuco, CEP, BRA)

Univ. Federal de Pernambuco, CEP, BRA について

, 
DOS SANTOS C S

DOS SANTOS C S について

(I.N.R.I.A., Le Chesnay, FRA)

I.N.R.I.A., Le Chesnay, FRA について


資料名：
Proceedings of the 6th International Workshop on Computer-Aided Software Engineering, 1993  (Proceedings of the 6th International Workshop on Computer-Aided Software Engineering, 1993)

Proceedings of the 6th International Workshop on Computer-Aided Software Engineering, 1993 について


ページ： 119-130  発行年： 1993年 
JST資料番号： K19930503  ISBN： 0-8186-3482-0  資料種別： 会議録 (C)
発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM