DSpace Repository

Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.

Files in this item

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account