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