Open-world Software: Specification, Verification, and Beyond

First Page		Document Content
Date: 2013-08-12 04:01:01 Carlo Ghezzi Mehdi Jazayeri		Open-world Software: Specification, Verification, and Beyond Add to Reading List Source URL: doc.rero.ch Download Document from Source Website File Size: 948,61 KB Share Document on Facebook