Pages that link to "Item:Q5034385"
From MaRDI portal
The following pages link to Mathematics and Software Verification (Q5034385):
Displaying 5 items.
- A comparison of tools for teaching formal software verification (Q1019026) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Proving the correctness of client/server software (Q1040009) (← links)
- Deductive software verification: from pen-and-paper proofs to industrial tools (Q2075776) (← links)
- (Q4003444) (← links)