关注微信公众号查券更方便
【4周达】Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Sate... [9783319448015]