Cooperation of Formal Methods in an Engineering Based Software Development Process.

Yamine At Ameur

Browse the full IFM paper archive.