关注微信公众号查券更方便
【4周达】Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, Dec... [9783642353079]