Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture <br/><br/>
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops 

 -  Springer  Springer  2022 
<br/><br/><label>ISBN: </label>9783031124297 
<br/><br/><label>Source: </label>EBOOK