Piton
Subtitle: A Mechanically Verified Assembly-Level Language
Publisher: Springer
Published: Apr 24, 2013
Format: paperback
Number of pages: 320
ISBN-13: 9789401737913
Notes: Source title: Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)