Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2017-07-04 11:00-12:00 |
Titre | SAT-based Bounded Model Checking for 3-Valued Abstractions - Part II |
Résumé | Continuation of his precedent talk. |
Lieu | 178 |
Orateur | Stefan GRUNER |
Email | http://www.cs.up.ac.za/users/view/sgruner |
Url | University of Pretoria, South Africa |
Aucun document lié à cet événement.
RetourRetour à l'index