Integration of Reusable Systems [Extended Versions of the Best Papers Which Were Presented at Ieee International Conference on Information Reuse and Integration and Ieee International Workshop on Formal Methods Integration, San Francisco, Ca, Usa, August 2013]
Volume 263, Pages 45-75
Book Series: Advances in Intelligent Systems and Computing