Christos Skourlas, Dimitrios A. Dervos, Martti Laiho. Database SQL transactions and learning by verifying in practice: a case study. In Nikitas N. Karanikolas, Demosthenes Akoumianakis, Mara Nikolaidou, Dimitrios D. Vergados, Michalis Xenos, George M. Giaglis, Stefanos Gritzalis, Lazaros F. Merakos, Panagiotis Tsanakas, Cleo Sgouropoulou, editors, Proceedings of the 19th Panhellenic Conference on Informatics, PCI 2015, Athens, Greece, October 1-3, 2015. pages 361-362, ACM, 2015. [doi]
Abstract is missing.