1 January 2011

The book chapter “Verification of non-functional requirements by abstract interpretation”, by Cortesi, A., Logozzo, F., has just been published in “Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions”! Available here.