On the automated verification of web applications with embedded SQL

Guardado en:

Detalles Bibliográficos
Publicado en:	arXiv.org (Oct 6, 2016), p. n/a
Autor principal:	Shachar Itzhaky
Otros Autores:	Kotek, Tomer, Rinetzky, Noam, Sagiv, Mooly, Orr, Tamir, Veith, Helmut, Zuleger, Florian
Publicado:	Cornell University Library, arXiv.org
Materias:	Automation Case studies Data base management systems Decision analysis Program verification (computers) Applications programs Queries Computer conferencing Relational data bases Query languages Databases
Acceso en línea:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!