Kansikuva

On the automated verification of web applications with embedded SQL

Tallennettuna:
Julkaisussa:arXiv.org (Oct 6, 2016), p. n/a
Päätekijä: Shachar Itzhaky
Muut tekijät: Kotek, Tomer, Rinetzky, Noam, Sagiv, Mooly, Orr, Tamir, Veith, Helmut, Zuleger, Florian
Julkaistu:
Cornell University Library, arXiv.org
Aiheet:
Automation
Case studies
Data base management systems
Decision analysis
Program verification (computers)
Applications programs
Queries
Computer conferencing
Relational data bases
Query languages
Databases
Linkit:Citation/Abstract
Full text outside of ProQuest
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!