Piton A Mechanically Verified Assembly-Level Language /
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber ge...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1996.
|
| Series: | Automated Reasoning Series,
3 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
