A Contract-Based Approach to Support Goal-Driven Analysis.

Guillaume Brau, Jrme Hugues, Nicolas Navet

Browse the full ISORC paper archive.