Formal Methods in Databases and Software Engineering | lit.salon