The following pages link to (Q3811752):
Displaying 7 items.
- Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
- SLAP: specification logic of actions with probability (Q2447174) (← links)
- (Q3795482) (← links)
- (Q3995622) (← links)
- (Q4788482) (← links)
- Str∔ve and integers (Q5210788) (← links)
- (Q5288704) (← links)