메뉴 건너뛰기




Volumn 1357, Issue , 1998, Pages 100-104

Patterns of the agenda

Author keywords

Formal methods; Metaprogramming; Tool support for design patterns

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; SPECIFICATIONS;

EID: 79960351300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69687-3_19     Document Type: Conference Paper
Times cited : (3)

References (10)


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.