Books and book chapters PDF Stampa E-mail
  1. A. Coronato and G. De Pietro. 2010. Pervasive and Smart Technologies for Healthcare: Ubiquitous Methodologies and Tools. Edited book. ISBN-10: 1615207651, ISBN-13: 978-1615207657, March 2010, IGI-Global
  2. A. Coronato and G. De Pietro. 2009. Formal Specification Of Safety Critical Mobile Applications. Book chapter in the book of Mobile Computing Research and Applications. Edited by Kevin Y. Chen and H.K. Lee, Nova science Publisher, ISBN 978-1-60741-101-7, 2009