Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
Database Query Languages
Formal Analysis and Verification of Database Query Languages
2/3/2016
:
Download slides (PDF)
By
Raju Halder
, HASLab/INESC TEC & University of Minho.
Read more