Contract-Based Approach to Analyze Software Components.

Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufada

Browse the full ICECCS paper archive.