InfoBlender Seminar: Refinement algebra for an object-oriented language with pointers
Date:
Monday, April 13, 2015, 1:30pm - 2:30pm An invited talk by Prof. Augusto Sampaio, Universidade Federal de Pernambuco (UFPE), Brazil.
More details here.
Tags
- InfoBlender (46)
- Open Day (1)
- Seminars (46)
- workshop (1)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.