关注微信公众号查券更方便
【3-4周达】Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, ... [9783030304454]