The following pages link to James C. King (Q2555383):
Displaying 8 items.
- An interpretation-oriented theorem prover over integers (Q2555384) (← links)
- Program correctness: on inductive assertion methods (Q3877022) (← links)
- (Q4057573) (← links)
- (Q4094362) (← links)
- Symbolic execution and program testing (Q4095837) (← links)
- (Q4114748) (← links)
- Proving Programs to be Correct (Q5639354) (← links)
- (Q5670164) (← links)
