A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electronic Notes in Theoretical Computer Science, 215:39-55, 2008. [doi]

Abstract

Abstract is missing.