关注微信公众号查券更方便
【4周达】Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, Septe... [9783319101804]