关注微信公众号查券更方便
【4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-... [9783319050317]