Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im (Paperback)
Geo-Informatics in Resource Management and Sustainable Ecosystem: International Conference, Grmse 2014, Ypsilanti, Usa, October 3-5, 2014, Proceedings (Paperback)