Combining Techniques to Verify Service-based Components.

Pascal Andr, J. Christian Attiogb, Jean-Marie Mottu

Browse the full MODELSWARD paper archive.