Book Volume 3 1996

Piton

A Mechanically Verified Assembly-Level Language

Authors:

ISBN: 978-0-7923-3920-5 (Print) 978-0-585-33654-1 (Online)