Outline

• What is Xeve ?

• The Input

• The Verification Methods

• Usage

• Conclusion & Future Work

Diapositive précédente

Diapositive suivante

Revenir à la première diapositive

Afficher la version graphique