Evènement pour le groupe Séminaire Méthodes Formelles


Date 2017-07-04  11:00-12:00
TitreSAT-based Bounded Model Checking for 3-Valued Abstractions - Part II 
RésuméContinuation of his precedent talk. 
Lieu178 
OrateurStefan GRUNER 
Emailhttp://www.cs.up.ac.za/users/view/sgruner 
UrlUniversity of Pretoria, South Africa 



Aucun document lié à cet événement.

Retour
Retour à l'index