The following pages link to Proving Programs to be Correct (Q5639354):
Displaying 4 items.
- A survey of state vectors (Q458456) (← links)
- Computation of equilibria in noncooperative games (Q815274) (← links)
- A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation (Q1061483) (← links)
- A method for pogram analysis and Its applications to program-correctness problems (Q4127979) (← links)
