학술논문
Verification of UML model elements using B
Document Type
Journal
Author
Source
Subject
Language
English
ISSN
10162364