著者:Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro
出版社: SPRINGER NATURE
ISBN: 9783642136771
発売日: 2010年
This book presents a set of 4 papers accompanying the lectures ofleading researchers given at the 10th edition of the InternationalSchool on Formal Methods for the Design of Computer, Communication andSoftware Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.SFM 2010 was devoted to formal……
続きを見る