发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Dynamic graphical UML views from formal B specifications

Dynamic graphical UML views from formal B specifications

Akram Idani; Yves Ledru

作者Akram Idani; Yves Ledru
卷第48卷
期第3期
印刷ISSN0950-5849
文件大小369.19KB
发表时间2006
DOI10.1016/j.infsof.2005.03.008
页码154-169

← 返回【学霸图书馆】主页