The following pages link to (Q3696488):
Displayed 3 items.
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs? (Q1825630) (← links)