1. Advances in Intelligent Systems and Computing;F Agatolio,2017
2. Lecture Notes in Computer Science;P Alvaro,2011
3. Lecture Notes in Computer Science;S Brass,1995
4. Brass, S., Goldberg, C.: Proving the safety of SQL queries. In: Cai, K.Y., Ohnishi, A., Lau, M. (eds.) Proceedings of the 5th International Conference on Quality Software (QSIC 2005), pp. 197–204. IEEE Computer Society (2005)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Calimeri,2005