Database SQL transactions and learning by verifying in practice: A case study

C. SkourlasD. A. DervosM. Laiho2024-06-172024-06-172015https://dspace.iee.ihu.gr/handle/123456789/9653https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962499063&doi=10.1145%2f2801948.2802015&partnerID=40&md5=7012683591ad8704867ecc86af9ff944Database SQL transactions and learning by verifying in practice: A case studyACM International Conference Proceeding Seriesconference-paper