元模型层次的UML动态子图到Coq形式规范的转换
In: 计算机应用与软件 / Computer Applications and Software, Jg. 33 (2016), Heft 8, S. 7
academicJournal
Zugriff:
Titel: |
元模型层次的UML动态子图到Coq形式规范的转换
|
---|---|
Autor/in / Beteiligte Person: | 窦亮;李超;尹敏;杨宗源 |
Link: | |
Zeitschrift: | 计算机应用与软件 / Computer Applications and Software, Jg. 33 (2016), Heft 8, S. 7 |
Veröffentlichung: | 2016 |
Medientyp: | academicJournal |
ISSN: | 1000-386X (print) |
Sonstiges: |
|