Database SQL transactions and learning by verifying in practice: A case study
No Thumbnail Available
Date
2015
Authors
C. Skourlas
D. A. Dervos
M. Laiho
Journal Title
Journal ISSN
Volume Title
Publisher
ACM
Abstract
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962499063&doi=10.1145%2f2801948.2802015&partnerID=40&md5=7012683591ad8704867ecc86af9ff944