Formal Modeling for Deploying Improvement and Innovation in Information Technology.

Philippe Michelin, Marc Frappier

Browse the full IC3K paper archive.