next up previous contents
Next: Introduzione Up: Una metodologia per la Previous: Fondamenti logici   Indice


Evaluation Assurance Levels



Subsections

Gian Fabio Palmerini 2001-10-31