Speaker
Mamoun Filali-Amine
Institut de Recherche en Informatique de Toulouse, France
Talks at this conference:
Tue, 15:50 | Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus |
Speaker
Institut de Recherche en Informatique de Toulouse, France
Tue, 15:50 | Correct Pattern-based Development Through Refinements and Weakest Preconditions Calculus |