17th INFOBLENDER SEMINAR

Date: 
Wednesday, February 3, 2016, 1:30pm - 3:00pm

Formal Analysis and Verification of Database Query Languages 2/3/2016
By Raju Halder, HASLab/INESC TEC & University of Minho.
Read more