The experience of ATX with the application of formal/rigorous techniques and methods in real projects.

Lus Andrade

Browse the full FMICS paper archive.