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