关注微信公众号查券更方便
【4周达】Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, ... [9783319661964]