Pages that link to "Item:Q511928"
From MaRDI portal
The following pages link to Automated specification and verification of web-based applications (Q511928):
Displaying 5 items.
- Automated verification of programs and Web systems (Q739623) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← 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)
- Formal Approaches to Software Testing (Q5902019) (← links)