Web Information Systems and Technologies: 8th International Conference, Webist 2012, Porto, Portugal, April 18-21, 2012, Revised Selected Papers (2013 (Paperback)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, Isola 2014, Im (Paperback)
Proceedings of the 2011 3rd International Conference on Software Technology and Engineering: Icste 2011: August 12-14, 2011, Kuala Lumpur, Malaysia (Paperback)