FM&MDD 2017

2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 2017, Xi'an - in Conjunction with ICFEM 2017

Program

TBD