关注微信公众号查券更方便
【4周达】Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble... [9783319104300]