@书籍{zbMATH06707243，编辑={刘少英段振华田聪名古屋富美子}，标题={结构化面向对象形式语言和方法。第六届国际研讨会，{SOFL}+{MSVL}2016，{东京}，{日本}，2016.11.15。{修订}选定论文}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积={10189}，国际标准图书编号={978-3-319-57707-4；978-3-3169-57708-1}，年份={2017年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-57708-1}，关键词={68-06,68N15,68N19,00B25}，zbMATH={6707243}，Zbl={1460.68011}}