Viet Hoang Le

According to our database, Viet Hoang Le authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Une couverture Combinant Tests et Preuves pour la Vérification Formelle. (A coverage combining tests and proofs for formal verification).

Viet Hoang Le

PhD thesis, 2019

2018

Verification Coverage for Combining Test and Proof.

Viet Hoang Le, Loïc Correnson, Julien Signoles, Virginie Wiels

Proceedings of the Tests and Proofs - 12th International Conference, 2018