Minghai Lu

Explorer de nouvelles méthodes pour améliorer la vérification des preuves en ingénierie logicielle.