Pages that link to "Item:Q466002"
From MaRDI portal
The following pages link to Program verification: state of the art, problems, and results. II (Q466002):
Displaying 6 items.
- Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006 (Q373632) (← links)
- Program verification: state of the art, problems, and results. I (Q466416) (← links)
- Verification of software requirements on program systems represented by attribute transition systems (Q557426) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- Program analysis is harder than verification: a computability perspective (Q6039396) (← links)
- Verified Textbook Algorithms (Q6485853) (← links)