The following pages link to (Q3012541):
Displaying 9 items.
- Verification of sequential and concurrent programs (Q837527) (← links)
- Lawful functions and program verification in miranda (Q918222) (← links)
- Verification of programs that destructively manipulated data (Q1104731) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Programmed strategies for program verification (Q2864527) (← links)
- (Q3216115) (← links)
- (Q3816961) (← links)
- (Q4003356) (← links)
- Program verification through characteristic formulae (Q5176951) (← links)