Login / Signup

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

Luis Andrade
Published in: FMICS (2005)
Keyphrases