Pages that link to "Item:Q3174909"
From MaRDI portal
The following pages link to On the Automated Verification of Web Applications with Embedded SQL (Q3174909):
Displaying 4 items.
- Automated specification and verification of web-based applications (Q511928) (← links)
- Data Centric Workflows for Crowdsourcing (Q5100748) (← links)
- Toward a verified relational database management system (Q5255077) (← links)
- Reasoning formally about database queries and updates (Q6535969) (← links)