Pages that link to "Item:Q739623"
From MaRDI portal
The following pages link to Automated verification of programs and Web systems (Q739623):
Displaying 6 items.
- Special issue on program verification, automated debugging and symbolic computation (Q507345) (← links)
- Automated specification and verification of web-based applications (Q511928) (← links)
- Editorial for the JLAMP special issue on automated specification and verification of web systems (Q2348795) (← links)
- Special issue on automated specification and verification of web systems (Q2436506) (← links)
- On the Automated Verification of Web Applications with Embedded SQL (Q3174909) (← links)
- Formal Approaches to Software Testing (Q5902019) (← links)