The following pages link to (Q4114748):
Displaying 8 items.
- Computation of equilibria in noncooperative games (Q815274) (← links)
- A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation (Q1061483) (← links)
- Efficient symbolic analysis of programs (Q1082800) (← links)
- Two notions of correctness and their relation to testing (Q1161275) (← links)
- Program analysis and optimization through kernel-control decomposition (Q1241053) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Loop Invariant Symbolic Execution for Parallel Programs (Q2891433) (← links)
