학술논문
An EVES data abstraction example*
Document Type
Conference Paper
Author
Source
In: FME 1993: Industrial-Strength Formal Methods - 1st International Symposium of Formal Methods Europe, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1993, 670 LNCS:578-596)
Subject
Language
English
ISSN
16113349
03029743
03029743