Speaker
Jean Paul Bodeveix
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 |