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