关注微信公众号查券更方便
【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]