L’Université de Paris 13 offre une bourse doctorale en informatique à Paris : Model Checking for Malware (Virus) Detection