关注微信公众号查券更方便
【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215
【4周达】Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th Internationa... [9783031212215]