Piton
Subtitle: A Mechanically Verified Assembly-Level Language
Format: digital
ISBN-13: 9780585336541
Notes: Source title: Piton: A Mechanically Verified Assembly-Level Language