关注微信公众号查券更方便
【4周达】Modular Compiler Verification : A Refinement-Algebraic Approach Advocating Stepwise Abstraction [9783540634065]