Partager
Institution: KU Leuven
Belgique
Retrouvé: : 2018-07-26 Expiré
Description :
Help advance the state of the art in techniques for formal verification of correctness and security properties of computer programs




Vous recrutez?


Lister vos offres d'emploi sur Sciencedz.net (GRATUIT).

Contacter nous!
Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.