37th InfoBlender Seminar
Date:
Monday, July 24, 2017, 10:30am - 12:00pm VOCAL — The Verified OCaml Library
By Mário Pereira, LRI — Université Paris-Saclay, France.
Read more
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.