关注微信公众号查券更方便
【4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim... [9783031262357]