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