关注微信公众号查券更方便
【3-4周达】Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th Inte... [9783030034177]